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
Article: icfpws19tydeforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws19tydeforeword-fm001-p doi:

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: icfpws19tydemain-p1-p doi:10.1145/3331554.3342603
Generic Level Polymorphic N-ary Functions
Guillaume Allais
(University of Strathclyde, UK)
Publisher's Version Article: icfpws19tydemain-p2-p doi:10.1145/3331554.3342604
Deferring the Details and Deriving Programs
Liam O'Connor
(UNSW, Australia)
Publisher's Version Article: icfpws19tydemain-p4-p doi:10.1145/3331554.3342605
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: icfpws19tydemain-p5-p doi:10.1145/3331554.3342606
Inductive Types Deconstructed: The Calculus of United Constructions
Stefan Monnier
(Université de Montréal, Canada)
Publisher's Version Article: icfpws19tydemain-p6-p doi:10.1145/3331554.3342607
Constraint-Based Type-Directed Program Synthesis
Peter-Michael Osera
(Grinnell College, USA)
Publisher's Version Article: icfpws19tydemain-p10-p doi:10.1145/3331554.3342608

proc time: 0.01