Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 16:20 - 16:40 at Aurora Borealis - Generic Programming and Synthesis Chair(s): Edwin Brady

We explore an approach to type-directed program synthesis rooted in constraint-based type inference techniques. By doing this, we aim to more efficiently synthesis polymorphic code while also tackling advanced typing features such as GADTs that built upon polymorphism. Along the way, we also present an implementation of these techniques in Scythe, a prototype live type-directed programming tool for the Haskell programming language and reflect on our initial experience with the tool.

Sun 18 Aug

tyde-2019-papers
15:20 - 16:40: TyDe 2019 - Generic Programming and Synthesis at Aurora Borealis
Chair(s): Edwin BradyUniversity of St. Andrews, UK
tyde-2019-papers15:20 - 15:40
Talk
Cas van der RestUtrecht University, Wouter SwierstraUtrecht University, Netherlands, Manuel ChakravartyTweag I/O & IOHK
Pre-print
tyde-2019-papers15:40 - 16:00
Talk
Guillaume AllaisUniversity of Strathclyde
Link to publication
tyde-2019-papers16:00 - 16:20
Talk
Bruce CollieUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Pre-print
tyde-2019-papers16:20 - 16:40
Talk
Peter-Michael OseraGrinnell College
Link to publication