TyDe 2018 – Proceedings

3rd ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2018)

Authenticated Modular Maps in Haskell
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, and Maurice Herlihy
(Utrecht University, Netherlands; Oracle Labs, USA; Oracle Labs, New Zealand; Brown University, USA)

Publisher's Version Article: icfpws18tydemain-p7-p doi:10.1145/3240719.3241790

Typing, Representing, and Abstracting Control: Functional Pearl
Philipp Schuster and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany)

Publisher's Version Article: icfpws18tydemain-p5-p doi:10.1145/3240719.3241788

Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
Ilya Yanok and Nathaniel Nystrom
(USI Lugano, Switzerland)

Publisher's Version Article: icfpws18tydemain-p10-p doi:10.1145/3240719.3241792

Extensible Type-Directed Editing
Joomy Korkut and David Thrane Christiansen
(Wesleyan University, USA; Galois, USA)

Publisher's Version Article: icfpws18tydemain-p9-p doi:10.1145/3240719.3241791

First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers
Daan Leijen
(Microsoft Research, USA)

Publisher's Version Article: icfpws18tydemain-p6-p doi:10.1145/3240719.3241789

Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming
Victor Cacciari Miraldo and Alejandro Serrano
(Utrecht University, Netherlands)

Publisher's Version Article: icfpws18tydemain-p1-p doi:10.1145/3240719.3241786

From Algebra to Abstract Machine: A Verified Generic Construction
Carlos Tomé Cortiñas and Wouter Swierstra
(Utrecht University, Netherlands)

Publisher's Version Article: icfpws18tydemain-p2-p doi:10.1145/3240719.3241787

proc time: 0.01