search

Demuirgos / Lambda-Calculus

A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
MIT License
13 stars 3 forks source link

[Pluggable backends Experiment] Explore emiting MSIL bytecode #27

Open Demuirgos opened 2 years ago

Demuirgos commented 2 years ago

Use STLC or TypeIILC to Verify soundness then emit type erased code as MSIL