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

Text editing is powerful, but entering text is often not the most natural way to construct certain types of expressions, such as those encoding colors, animations, musical sequences, tabular data, plots, widgets, graphs, and various other data structures. We introduce live literals, or livelits, which allow the programmer to fill holes of such types by directly manipulating a graphical user interface. Livelits are compositional: this GUI can itself contain typed holes that the programmer can fill with expressions that might contain other livelits. Livelits are also live: they can provide immediate feedback about the dynamic implications of the programmer’s choices, even when the subexpressions mention bound variables, because the livelit is given access to closures associated with the hole that the livelit is tasked with filling. We are implementing livelits within Hazel, a live functional programming environment that assigns meaning to every edit state.

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, R. Benjamin 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