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)


@InProceedings{TyDe18p1, author = {Victor Cacciari Miraldo and Harold Carr and Alex Kogan and Mark Moir and Maurice Herlihy}, title = {Authenticated Modular Maps in Haskell}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3240719.3241790}, year = {2018}, } Publisher's Version

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


@InProceedings{TyDe18p16, author = {Philipp Schuster and Jonathan Immanuel Brachthäuser}, title = {Typing, Representing, and Abstracting Control: Functional Pearl}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3240719.3241788}, year = {2018}, } Publisher's Version

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


@InProceedings{TyDe18p31, author = {Ilya Yanok and Nathaniel Nystrom}, title = {Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3240719.3241792}, year = {2018}, } Publisher's Version

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


@InProceedings{TyDe18p46, author = {Joomy Korkut and David Thrane Christiansen}, title = {Extensible Type-Directed Editing}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3240719.3241791}, year = {2018}, } Publisher's Version

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


@InProceedings{TyDe18p61, author = {Daan Leijen}, title = {First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3240719.3241789}, year = {2018}, } 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)


@InProceedings{TyDe18p76, author = {Victor Cacciari Miraldo and Alejandro Serrano}, title = {Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3240719.3241786}, year = {2018}, } Publisher's Version

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


@InProceedings{TyDe18p91, author = {Carlos Tomé Cortiñas and Wouter Swierstra}, title = {From Algebra to Abstract Machine: A Verified Generic Construction}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3240719.3241787}, year = {2018}, } Publisher's Version

proc time: 0.77