Atype-theoretic semantics for Standard ML (1996)

by R Harper, C Stone