ICFP 2019 (series) / TyDe 2019 (series) / TyDe 2019 /
Constraint-based Type-directed Program Synthesis
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 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:20 - 16:40 | Generic Programming and SynthesisTyDe at Aurora Borealis Chair(s): Edwin Brady University of St. Andrews, UK | ||
15:20 20mTalk | Generic Enumerators TyDe Cas van der Rest Utrecht University, Wouter Swierstra Utrecht University, Netherlands, Manuel Chakravarty Tweag I/O & IOHK Pre-print | ||
15:40 20mTalk | Generic Level Polymorphic N-ary Functions TyDe Guillaume Allais University of Strathclyde Link to publication | ||
16:00 20mTalk | Augmenting Type Signatures for Program Synthesis TyDe Pre-print | ||
16:20 20mTalk | Constraint-based Type-directed Program Synthesis TyDe Peter-Michael Osera Grinnell College Link to publication | ||
