Language Techniques that Enable Higher-levels of Abstraction in Programming

Michael D. Adams

Date: Wed, June 24, 2020
Time: 15:00
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.

Previous: Jesper Cockx |
Next: |