author : Dale Miller

Short works

• A meta-logic for functional programming. 1989. (In Meta-Programming in Logic Programming )