author : John Hannan

Short works

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