A Meta Language for Functional Programs (1989)

by J Hannan, D Miller
Venue:Meta-Programming in Logic Programming