2024-11-01: Guillaume Allais (MSP)

Fri, 1 Nov 2024 14:28:36 +0000

Guillaume Allais (MSP)

Partial evaluation

Abstract

Partial evaluation shows up all across PL in compilation (optimization), meta-theory (normalization), and code-generation (staging). I will give a gentle introduction to partial evaluation using semantic methods, showing how we can strategically build different models to decide different equational theories. This will be an Agda-mediated live coding show.

2024-11-01 13:00:00 UTC
LT309 and Online