Compiler Construction In Higher Order Logic Programming

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

• http://cs.hofstra.edu/~cscccl/hocompiler/padl02.ps.gz

---

CategoryPaper | -- EelcoVisser - 21 Dec 2001