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 ORCID logo
(KU Leuven, Belgium; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Generic Level Polymorphic N-ary Functions
Guillaume Allais ORCID logo
(University of Strathclyde, UK)
Publisher's Version Info
Deferring the Details and Deriving Programs
Liam O'Connor
(UNSW, Australia)
Publisher's Version Info
Tic Tac Types: A Gentle Introduction to Dependently Typed Programming (Functional Pearl)
Sean Innes and Nicolas WuORCID logo
(University of Bristol, UK; Imperial College London, UK)
Publisher's Version
Inductive Types Deconstructed: The Calculus of United Constructions
Stefan Monnier ORCID logo
(Université de Montréal, Canada)
Publisher's Version
Constraint-Based Type-Directed Program Synthesis
Peter-Michael Osera
(Grinnell College, USA)
Publisher's Version

proc time: 1.46