TyDe 2016 – Proceedings

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

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

Title Page
Article: icfpws16tydeforeword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: icfpws16tydeforeword-fm001-p (type: Frontmatter) doi:

Generic Lookup and Update for Infinitary Inductive-Recursive Types
Larry Diehl and Tim Sheard
(Portland State University, USA)
Article: icfpws16tydemain-tydemainid7-p (type: Full Paper (12 pages + references)) doi:

APLicative Programming with Naperian Functors (Extended Abstract)
Jeremy Gibbons
(University of Oxford, UK)
Article: icfpws16tydemain-tydemainid9-p (type: Short Paper) doi:

Liberating Effects with Rows and Handlers
Daniel Hillerström and Sam Lindley
(University of Edinburgh, UK)
Article: icfpws16tydemain-tydemainid6-p (type: Full Paper (12 pages + references)) doi:

Programming with Monadic CSP-Style Processes in Dependent Type Theory
Bashar Igried and Anton Setzer
(Swansea University, UK)
Article: icfpws16tydemain-tydemainid8-p (type: Full Paper (12 pages + references)) doi:

Generic Partially-Static Data (Extended Abstract)
David Kaloper-Meršinjak and Jeremy Yallop
(University of Cambridge, UK)
Article: icfpws16tydemain-tydemainid17-p (type: Short Paper) doi:

Parameterized Extensible Effects and Session Types (Extended Abstract)
Oleg Kiselyov
(Tohoku University, Japan)
Article: icfpws16tydemain-tydemainid1-p (type: Short Paper) doi:

Applications of Applicative Proof Search
Liam O'Connor
(UNSW, Australia; Data61, Australia)
Article: icfpws16tydemain-tydemainid2-p (type: Full Paper (12 pages + references)) doi:

Programming Assistance for Type-Directed Programming (Extended Abstract)
Peter-Michael Osera
(Grinnell College, USA)
Article: icfpws16tydemain-tydemainid16-p (type: Short Paper) doi:

choose Your Own Derivative (Extended Abstract)
Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner
(University of Pennsylvania, USA)
Article: icfpws16tydemain-tydemainid10-p (type: Short Paper) doi:

An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract)
Adam Sandberg Eriksson and Patrik Jansson
(Chalmers University of Technology, Sweden)
Article: icfpws16tydemain-tydemainid12-p (type: Short Paper) doi:

Generic Diff3 for Algebraic Datatypes
Marco Vassena
(Chalmers University of Technology, Sweden)
Article: icfpws16tydemain-tydemainid5-p (type: Full Paper (12 pages + references)) doi: