default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st 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
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.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
