Login / Signup

A Kernel Language for Abstract Data Types and Modules.

Rod M. BurstallButler W. Lampson
Published in: Semantics of Data Types (1984)
Keyphrases