Engineering a Programming Language: the Type and (1993)

by Clemens Szypersky, Stephen Omohundro, Stephan Murer
Venue:University of California, Berkeley