ICFP Workshops 2019
24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019)
Powered by
Conference Publishing Consulting

4th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2019), August 18, 2019, Berlin, Germany

Workshop TyDe 2019 – Author Index

Contents - Abstracts - Authors

A D I J M N O W

Allais, Guillaume TyDe '19: "Generic Level Polymorphic ..."
Devriese, Dominique TyDe '19: "How to do Proofs: Practically ..."
Innes, Sean TyDe '19: "Tic Tac Types: A Gentle Introduction ..."
Jacobs, Koen TyDe '19: "How to do Proofs: Practically ..."
Monnier, Stefan TyDe '19: "Inductive Types Deconstructed: ..."
Nuyts, Andreas TyDe '19: "How to do Proofs: Practically ..."
O'Connor, Liam TyDe '19: "Deferring the Details and ..."
Osera, Peter-Michael TyDe '19: "Constraint-Based Type-Directed ..."
Wu, Nicolas TyDe '19: "Tic Tac Types: A Gentle Introduction ..."

9 authors

proc time: 1.65