Compiler Construction In Higher Order Logic Programming

Program-Transformation.Org: The Program Transformation Wiki
by ChuckLiang In S. Krishnamurthi, C.R. Ramakrishnan (Eds.) Practical Aspects of Declarative Languages? (PADL'02), LNCS 2257

Paper about the Higher Order Compilation Project


CategoryPaper | -- EelcoVisser - 21 Dec 2001