ICFP 2016 Workshops
21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
Powered by
Conference Publishing Consulting

1st International Workshop on Type-Driven Development (TyDe 2016), September 18, 2016, Nara, Japan

TyDe 2016 – Proceedings

Contents - Abstracts - Authors

1st International Workshop on Type-Driven Development (TyDe 2016)

Title Page
Message from the Chairs
Generic Lookup and Update for Infinitary Inductive-Recursive Types
Larry Diehl and Tim Sheard
(Portland State University, USA)
Publisher's Version Article Search Info
APLicative Programming with Naperian Functors (Extended Abstract)
Jeremy Gibbons
(University of Oxford, UK)
Publisher's Version Article Search Info
Liberating Effects with Rows and Handlers
Daniel Hillerström and Sam Lindley
(University of Edinburgh, UK)
Publisher's Version Article Search
Programming with Monadic CSP-Style Processes in Dependent Type Theory
Bashar Igried and Anton Setzer
(Swansea University, UK)
Publisher's Version Article Search Info
Generic Partially-Static Data (Extended Abstract)
David Kaloper-Meršinjak and Jeremy Yallop
(University of Cambridge, UK)
Publisher's Version Article Search
Parameterized Extensible Effects and Session Types (Extended Abstract)
Oleg Kiselyov
(Tohoku University, Japan)
Publisher's Version Article Search Info
Applications of Applicative Proof Search
Liam O'Connor
(UNSW, Australia; Data61, Australia)
Publisher's Version Article Search
Programming Assistance for Type-Directed Programming (Extended Abstract)
Peter-Michael Osera
(Grinnell College, USA)
Publisher's Version Article Search
choose Your Own Derivative (Extended Abstract)
Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner
(University of Pennsylvania, USA)
Publisher's Version Article Search
An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract)
Adam Sandberg Eriksson and Patrik Jansson
(Chalmers University of Technology, Sweden)
Publisher's Version Article Search Info
Generic Diff3 for Algebraic Datatypes
Marco Vassena
(Chalmers University of Technology, Sweden)
Publisher's Version Article Search

proc time: 0.06