My talk about extraction in Agda
The Single-Assignment C compiler, called sac2c.
Paper on blocked matmul for ARRAY'23
Fork of Stdlib
My experiments with defining syntax for deeply-embedded DSLs.
Stack traces study across 30 languages and 4 programs.
