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

proc time: 0.01