ICFP Workshops 2018
23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Powered by
Conference Publishing Consulting

3rd ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2018), September 27, 2018, St. Louis, MO, USA

TyDe 2018 – Advance Table of Contents

Contents - Abstracts - Authors

3rd ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 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 Article Search
Typing, Representing, and Abstracting Control: Functional Pearl
Philipp Schuster and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany)
Publisher's Version Article Search
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 Search
Extensible Type-Directed Editing
Joomy Korkut and David Thrane Christiansen
(Wesleyan University, USA; Galois, USA)
Publisher's Version Article Search
First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers
Daan Leijen
(Microsoft Research, USA)
Publisher's Version Article Search
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 Search
From Algebra to Abstract Machine: A Verified Generic Construction
Carlos Tomé Cortiñas and Wouter Swierstra
(Utrecht University, Netherlands)
Publisher's Version Article Search

proc time: 4.89