About this document
Dynamic Semantics for Incomplete Functional Programs by Jexia is a document available to read on EtoBox.
Live Functional Programming with Typed Holes develops a dynamic semantics for incomplete functional programs that allows evaluation to proceed around holes. This enables live programming environments to provide continuous feedback even when programs contain holes. The semantics draws on gradual type theory and contextual modal type theory. The authors mechanized the core development in Agda and implemented a prototype live programming environment called Hazelnut Live that inserts holes to guarantee programs
- Author
- Jexia
- Language
- EN