|
A kernel language for abstract data types and modules. Burstall R., Lampson B. Semantics of data types (, Sophia-Antipolis, France, Jun 27-29, 1984) 501984. Type: Proceedings
This paper describes a new functional programming language called PEBBLE, which gives a systematic treatment of data types, abstract data types, and modules, and which includes polymorphic functions and module linkings. It is based on ...
|
Sep 1 1985 |