The Semantic Analysis of Functional Programs: Theory and Practice (1988)

by J YOUNG