ICFP 2019 (series) / TyDe 2019 (series) /
TyDe 2019 Program
This is the TyDe 2019 program - see the full program for ICFP 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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
09:00 - 10:20 | Interaction and ApplicationsTyDe at Aurora Borealis Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
09:00 20mTalk | Flexible Structure Editing of Well-Typed Expressions TyDe Pre-print | ||
09:20 20mTalk | Livelits: Filling Typed Holes with Live GUIs TyDe Cyrus Omar University of Chicago, Nick Collins University of Chicago, David Moon , Ian Voysey Carnegie Mellon University, Ravi Chugh University of Chicago Pre-print | ||
09:40 20mTalk | Formal Investigation of the Extended UTxO Model TyDe Orestis Melkonian Utrecht University, Wouter Swierstra Utrecht University, Netherlands, Manuel Chakravarty Tweag I/O & IOHK Pre-print | ||
10:00 20mTalk | An Algebra of Sequential Decision Problems TyDe Pre-print |
10:50 - 12:10 | Dependently Typed ProgrammingTyDe at Aurora Borealis Chair(s): William J. Bowman University of British Columbia | ||
10:50 20mTalk | Syntax with Shifted Names TyDe Pre-print | ||
11:10 20mTalk | Tic Tac Types (Functional Pearl) TyDe Link to publication | ||
11:30 20mTalk | Monadic typed tactic programming by reflection TyDe Liang-Ting Chen Swansea University Pre-print | ||
11:50 20mTalk | Deferring the Details and Deriving Programs TyDe Liam O'Connor UNSW Link to publication |
13:40 - 14:50 | Invited Talk and MetatheoryTyDe at Aurora Borealis Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
13:40 50mTalk | Cubes, Cats, Effects TyDe | ||
14:30 20mTalk | Inductive types deconstructed TyDe Stefan Monnier Université de Montréal Link to publication |
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 |
17:10 - 18:10 | |||
17:10 20mTalk | Reasoning about Effect Parametricity Using Dependent Types TyDe Joris Ceulemans KU Leuven, Andreas Nuyts KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel Pre-print | ||
17:30 20mTalk | How to do proofs? Practically proving properties about effectful programs' results (functional pearl) TyDe Koen Jacobs KU Leuven, Andreas Nuyts KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel Link to publication |
Thu 22 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:20 - 11:45 | |||
11:20 25mTalk | FreezeML: Complete and Easy Type Inference for First-Class Polymorphism TyDe Frank Emrich The University of Edinburgh, Sam Lindley The University of Edinburgh and Imperial College London, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK Pre-print |