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

Workshop TyDe 2018 – Author Index

Contents - Abstracts - Authors

B C H K L M N S T Y

Brachthäuser, Jonathan Immanuel TyDe '18: "Typing, Representing, and ..."
Carr, Harold TyDe '18: "Authenticated Modular Maps ..."
Christiansen, David Thrane TyDe '18: "Extensible Type-Directed Editing ..."
Herlihy, Maurice TyDe '18: "Authenticated Modular Maps ..."
Kogan, Alex TyDe '18: "Authenticated Modular Maps ..."
Korkut, Joomy TyDe '18: "Extensible Type-Directed Editing ..."
Leijen, Daan TyDe '18: "First Class Dynamic Effect ..."
Miraldo, Victor Cacciari TyDe '18: "Sums of Products for Mutually ..." TyDe '18: "Authenticated Modular Maps ..."
Moir, Mark TyDe '18: "Authenticated Modular Maps ..."
Nystrom, Nathaniel TyDe '18: "Implementing Resource-Aware ..."
Schuster, Philipp TyDe '18: "Typing, Representing, and ..."
Serrano, Alejandro TyDe '18: "Sums of Products for Mutually ..."
Swierstra, Wouter TyDe '18: "From Algebra to Abstract Machine: ..."
Tomé Cortiñas, Carlos TyDe '18: "From Algebra to Abstract Machine: ..."
Yanok, Ilya TyDe '18: "Implementing Resource-Aware ..."

15 authors

proc time: 3.14