A Language with Eval and Polymorphism (1989)

by Frank Pfenning, Peter Lee
Venue:In International Joint Conference on Theory and Practice in Software Development