Powered by

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
Article: icfpws16tydeforeword-fm000-p doi:

Message from the Chairs
Article: icfpws16tydeforeword-fm001-p doi:

Generic Lookup and Update for Infinitary Inductive-Recursive Types
Larry Diehl and Tim Sheard
(Portland State University, USA)
Article: icfpws16tydemain-tydemainid7-p doi:

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

Liberating Effects with Rows and Handlers
Daniel Hillerström and Sam Lindley
(University of Edinburgh, UK)
Article: icfpws16tydemain-tydemainid6-p doi:

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

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

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

Applications of Applicative Proof Search
Liam O'Connor
(UNSW, Australia; Data61, Australia)
Article: icfpws16tydemain-tydemainid2-p doi:

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

choose Your Own Derivative (Extended Abstract)
Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner
(University of Pennsylvania, USA)
Article: icfpws16tydemain-tydemainid10-p 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 doi:

Generic Diff3 for Algebraic Datatypes
Marco Vassena
(Chalmers University of Technology, Sweden)
Article: icfpws16tydemain-tydemainid5-p doi:

proc time: 0.69