TyDe 2016 – Proceedings

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

Generic Lookup and Update for Infinitary Inductive-Recursive Types
Larry Diehl and Tim Sheard
(Portland State University, USA)


@InProceedings{TyDe16p1, author = {Larry Diehl and Tim Sheard}, title = {Generic Lookup and Update for Infinitary Inductive-Recursive Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid7-p doi:

APLicative Programming with Naperian Functors (Extended Abstract)
Jeremy Gibbons
(University of Oxford, UK)


@InProceedings{TyDe16p15, author = {Jeremy Gibbons}, title = {APLicative Programming with Naperian Functors (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid9-p doi:

Liberating Effects with Rows and Handlers
Daniel Hillerström and Sam Lindley
(University of Edinburgh, UK)


@InProceedings{TyDe16p17, author = {Daniel Hillerström and Sam Lindley}, title = {Liberating Effects with Rows and Handlers}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid6-p doi:

Programming with Monadic CSP-Style Processes in Dependent Type Theory
Bashar Igried and Anton Setzer
(Swansea University, UK)


@InProceedings{TyDe16p31, author = {Bashar Igried and Anton Setzer}, title = {Programming with Monadic CSP-Style Processes in Dependent Type Theory}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid8-p doi:

Generic Partially-Static Data (Extended Abstract)
David Kaloper-Meršinjak and Jeremy Yallop
(University of Cambridge, UK)


@InProceedings{TyDe16p45, author = {David Kaloper-Meršinjak and Jeremy Yallop}, title = {Generic Partially-Static Data (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid17-p doi:

Parameterized Extensible Effects and Session Types (Extended Abstract)
Oleg Kiselyov
(Tohoku University, Japan)


@InProceedings{TyDe16p47, author = {Oleg Kiselyov}, title = {Parameterized Extensible Effects and Session Types (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {47-46}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid1-p doi:

Applications of Applicative Proof Search
Liam O'Connor
(UNSW, Australia; Data61, Australia)


@InProceedings{TyDe16p49, author = {Liam O'Connor}, title = {Applications of Applicative Proof Search}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid2-p doi:

Programming Assistance for Type-Directed Programming (Extended Abstract)
Peter-Michael Osera
(Grinnell College, USA)


@InProceedings{TyDe16p63, author = {Peter-Michael Osera}, title = {Programming Assistance for Type-Directed Programming (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid16-p doi:

choose Your Own Derivative (Extended Abstract)
Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner
(University of Pennsylvania, USA)


@InProceedings{TyDe16p65, author = {Jennifer Paykin and Antal Spector-Zabusky and Kenneth Foner}, title = {choose Your Own Derivative (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2016}, } 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)


@InProceedings{TyDe16p67, author = {Adam Sandberg Eriksson and Patrik Jansson}, title = {An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid12-p doi:

Generic Diff3 for Algebraic Datatypes
Marco Vassena
(Chalmers University of Technology, Sweden)


@InProceedings{TyDe16p69, author = {Marco Vassena}, title = {Generic Diff3 for Algebraic Datatypes}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {69-68}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid5-p doi:

proc time: 0.02