mirror of
https://github.com/grin-compiler/grin.git
synced 2024-09-19 03:47:23 +03:00
491 B
491 B
Write it as a thesis
The text can be reused for
- book
- web page
- code documentation
New material over Boquist's PhD thesis
- HPT as type inference
- LLVM backend
- HPT as abstract interpretation with native codegen
- node layout language
- partial HPT (i.e. single module)
- recursion schemes
- on the fly node layout migration at runtime on live program data
- compilation with transformation history (bidirectional source map)
- separate heap (array) for each tag (node layout)