Language Techniques that Enable Higher-levels of Abstraction in Programming
Date: Wed, June 24, 2020
Room: Eelco's Zoom Room
The programming languages we use influence how we think about programming and the sorts of programs we write. Thus, it is essential that languages allow programmers to express programs in natural ways that match the programmer’s intention and capture the essence of a task without being cluttered by trivialities that the computer can determine for itself.
This talk presents work that aims to advance this vision. It presents work that allows grammars to be written using higher-levels of abstraction and also presents optimizations that make it practical to use certain higher-level abstractions.
Jesper Cockx | Revising Agda's module system
Next: | Modernizing the WebDSL front-end: A case study in SDF3 and Statix