- A Complete Implementation of the Positive Supercompiler From “A Roadmap to Metacomputation by Supercompilation” by Gluck & Sorensen
- How to Implement Dependent Types in 80 Lines of Code
- Barebones Lambda Cube in OCaml
- A Simple Cps Conversion as in “Compiling With Continuations”, Andrew W. Appel
- Rust Is Hard, Or: The Misery of Mainstream Programming
- Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming
hirrolot / untyped-nbe Goto Github PK
View Code? Open in Web Editor NEWUntyped lambda calculus via Normalization by Evaluation (NbE) in Haskell
License: MIT License