Higher Order Compilation Project

An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang

• http://cs.hofstra.edu/~cscccl/hocompiler/
• Compiler Construction in Higher Order Logic Programming

---

CategorySystem | -- EelcoVisser - 21 Dec 2001