![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
1st TyDe 2016: Nara, Japan
- James Chapman, Wouter Swierstra:
Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016. ACM 2016, ISBN 978-1-4503-4435-7 - Larry Diehl, Tim Sheard:
Generic lookup and update for infinitary inductive-recursive types. 1-12 - Jeremy Gibbons:
APLicative programming with Naperian functors (extended abstract). 13-14 - Daniel Hillerström
, Sam Lindley
:
Liberating effects with rows and handlers. 15-27 - Bashar Igried
, Anton Setzer:
Programming with monadic CSP-style processes in dependent type theory. 28-38 - David Kaloper-Mersinjak, Jeremy Yallop:
Generic partially-static data (extended abstract). 39-40 - Oleg Kiselyov:
Parameterized extensible effects and session types (extended abstract). 41-42 - Liam O'Connor
:
Applications of applicative proof search. 43-55 - Peter-Michael Osera:
Programming assistance for type-directed programming (extended abstract). 56-57 - Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner:
choose your own derivative (extended abstract). 58-59 - Adam Sandberg Eriksson, Patrik Jansson
:
An agda formalisation of the transitive closure of block matrices (extended abstract). 60-61 - Marco Vassena:
Generic Diff3 for algebraic datatypes. 62-71
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.