The structure of typed programming languages /
Schmidt, David A.,1953-
Cambridge, Mass. ; London : MIT Press,
c1994.
Includes bibliographical references (p. [343]-360) and index.
Programming languages (Electronic computers)