Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016 - researchr publication

researchr

You are not signed in
Sign in
Sign up

James Chapman, Wouter Swierstra, editors, Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016. ACM, 2016. [doi]

Conference: ICFP2016

Abstract is missing.

Generic lookup and update for infinitary inductive-recursive typesLarry Diehl, Tim Sheard. 1-12 [doi]

APLicative programming with Naperian functors (extended abstract)Jeremy Gibbons. 13-14 [doi]

Liberating effects with rows and handlersDaniel Hillerström, Sam Lindley. 15-27 [doi]

Programming with monadic CSP-style processes in dependent type theoryBashar Igried, Anton Setzer. 28-38 [doi]

Generic partially-static data (extended abstract)David Kaloper-Mersinjak, Jeremy Yallop. 39-40 [doi]

Parameterized extensible effects and session types (extended abstract)Oleg Kiselyov. 41-42 [doi]

Applications of applicative proof searchLiam O'Connor. 43-55 [doi]

Programming assistance for type-directed programming (extended abstract)Peter-Michael Osera. 56-57 [doi]

choose your own derivative (extended abstract)Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner. 58-59 [doi]

An agda formalisation of the transitive closure of block matrices (extended abstract)Adam Sandberg Eriksson, Patrik Jansson. 60-61 [doi]

Generic Diff3 for algebraic datatypesMarco Vassena. 62-71 [doi]

runs on WebDSL