author : Thom W. Fruhwirth

Short works

• Type inference by program transformation and partial evaluation. 1989. (In Meta-Programming in Logic Programming )