Using meta-interpreters for polymorphic type checking (1990)

by T Fruehwirth
Venue:Meta90 Proc. Workshop on Meta-Programming in Logic