- 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 Goto Github PK
Name: Tima Kinsart
Type: User
Twitter: hirrolot