Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 09:00 - 09:20 at Aurora Borealis - Interaction and Applications Chair(s): Jeremy Gibbons

We present the structure editor design of Hazel, a live functional programming language and editor. By virtue of its type-aware edit actions and execution semantics for incomplete programs, Hazel enforces the unique invariant that every program edit state is not only syntactically well-formed, but also statically and dynamically well-defined. Central to these guarantees is the use of typed holes to enclose incomplete and type-inconsistent parts of the program

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
20m
Talk
Flexible Structure Editing of Well-Typed Expressions
TyDe
David Moon , Cyrus Omar University of Chicago, Ben Shapiro University of Colorado, Boulder
Pre-print
09:20
20m
Talk
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
20m
Talk
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
20m
Talk
An Algebra of Sequential Decision Problems
TyDe
Robert Krook Chalmers University of Technology, Patrik Jansson Chalmers University of Technology
Pre-print