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 | -- Main.EelcoVisser - 21 Dec 2001 <br />