ICFP Workshops 2018
23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)

Title Page

Message from the Chairs

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

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

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

Publisher's Version