Compiler Construction in Higher Order Logic Programming.

Chuck Liang Compiler Construction in Higher Order Logic Programming. 47-63 2002 conf/padl/2002 PADL http://link.springer.de/link/service/series/0558/bibs/2257/22570047.htm db/conf/padl/padl2002.html#Liang02