Louis F. Ashfield

supercompilation-resources. 📚 A collection of resources about supercompilation

optiscope. A Lévy-optimal lambda calculus reducer with a backdoor to C

interaction-net-resources. 📚 A collection of resources about interaction nets

NbE-resources. 📚 A collection of resources about normalization-by-evaluation

cps-resources. 📚 A collection of resources about continuation-passing style