Modules for Standard ML

@inproceedings{macqueen84, abstract = {The functional programming language ML has been undergoing a thorough redesign during the past year, and the module facility described here has been proposed as part of the revised language, now called Standard ML. The design has three main goals: (1) to facilitate the structuring of large ML programs; (2) to support separate compilation and generic library units; and (3) to employ new ideas in the semantics of data types to extend the power of ML's polymorphic type system. It is based on...}, address = {New York}, author = {Macqueen, David B. }, booktitle = {Proceedings of the 1984 ACM Conference on LISP and Functional Programming}, citeulike-article-id = {126967}, keywords = {ml, oopsla-paper}, pages = {198--207}, posted-at = {2005-03-14 23:30:07}, priority = {2}, publisher = {ACM Press}, title = {Modules for Standard ML}, url = {http://citeseer.ist.psu.edu/macqueen84modules.html}, year = {1984} }

TY - CONF ID - macqueen84 L3 - citeulike-article-id:126967 TI - Modules for Standard ML T2 - Proceedings of the 1984 ACM Conference on LISP and Functional Programming SP - 198 EP - 207 AD - New York PB - ACM Press N2 - The functional programming language ML has been undergoing a thorough redesign during the past year, and the module facility described here has been proposed as part of the revised language, now called Standard ML. The design has three main goals: (1) to facilitate the structuring of large ML programs; (2) to support separate compilation and generic library units; and (3) to employ new ideas in the semantics of data types to extend the power of ML's polymorphic type system. It is based on... KW - ml KW - oopsla-paper AU - Macqueen, David PY - 1984/// UR - http://citeseer.ist.psu.edu/macqueen84modules.html ER -