Higher Order Compilation Project

Program-Transformation.Org: The Program Transformation Wiki
An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang


CategorySystem | -- EelcoVisser - 21 Dec 2001