by ChuckLiang In S. Krishnamurthi, C.R. Ramakrishnan (Eds.) Aspects of Declarative Languages (LNCS http://link.springer.de/link/service/series/0558/tocs/t2257.htm ...

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 ...