Compiling with Higher-order Effects

Jaro Reinders


Date: Wed, October 05, 2022
Time: 12:00
Room: Turing 0.E420 / Zoom


In this seminar, I present my progress on developing a modular approach to definitions of dynamic semantics and in particular compilation. Using higher-order effects we can describe components of our source language as abstract monadic operations. These abstract operations can be given a semantics individually in terms of lower level operations. We can repeat this process many times until we are finally left with only operations that correspond directly to, for example, X86 assembly instructions.

Previous: Paul van der Stel |
Next: |