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

TyDe 2019 – Proceedings

Contents - Abstracts - Authors

4th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2019)

Frontmatter

Title Page
Welcome from the Chairs

Papers

How to do Proofs: Practically Proving Properties about Effectful Programs' Results (Functional Pearl)
Koen Jacobs, Andreas Nuyts, and Dominique Devriese
(KU Leuven, Belgium; Vrije Universiteit Brussel, Belgium)
Publisher's Version Article Search
Generic Level Polymorphic N-ary Functions
Guillaume Allais
(University of Strathclyde, UK)
Publisher's Version Article Search Info
Deferring the Details and Deriving Programs
Liam O'Connor
(UNSW, Australia)
Publisher's Version Article Search Info
Tic Tac Types: A Gentle Introduction to Dependently Typed Programming (Functional Pearl)
Sean Innes and Nicolas Wu
(University of Bristol, UK; Imperial College London, UK)
Publisher's Version Article Search
Inductive Types Deconstructed: The Calculus of United Constructions
Stefan Monnier
(Université de Montréal, Canada)
Publisher's Version Article Search
Constraint-Based Type-Directed Program Synthesis
Peter-Michael Osera
(Grinnell College, USA)
Publisher's Version Article Search

proc time: 0.35