Compiler Construction in Higher Order Logic Programming (2002)

by Chuck Liang
Venue:In Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages (PADL 2002), volume 2257 of LNCS