David MacQueen ATT Bell Laboratories Murray Hill, NJ 07974  Home/Search
Context Related
| cmu.edu/~rwh/courses/module...paper.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~rwh/courses/modu...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Standard ML includes a set of module constructs that support programming in the large. These constructs extend ML's basic polymorphic type system by introducing the dependent types of Martin L/Sf's Intuitionistic Type Theory. This paper discusses the problems involved in implementing Standard ML's modules and describes a practical, efficient solution to these problems. The representations and algorithms of this implementation were inspired by a detailed formal semantics of Standard ML developed ... (Update)
Similar documents based on text: More All
1.3: An Implementation of Standard ML Modules - MacQueen (1988) (Correct)
0.2: Using Dependent Types to Express Modular Structure - MacQueen (1986) (Correct)
0.2: A Standard ML Compiler - Appel, MacQueen (1987) (Correct)
BibTeX entry: (Update)
David B. MacQueen. The implementation of Standard ML modules. In ACM Conf. on Lisp and Functional Programming, pages 212--223, 1988. http://citeseer.ist.psu.edu/macqueen88implementation.html More
@inproceedings{ macqueen88implementation,
author = "D. MacQueen",
title = "An Implementation of Standard {ML} Modules",
booktitle = "Proceedings of the 1988 {ACM} Conference on {LISP} and Functional Programming, Snowbird, {UT}",
publisher = "ACM",
address = "New York, NY",
pages = "212--223",
year = "1988",
url = "citeseer.ist.psu.edu/macqueen88implementation.html" }
Citations (may not include all citations):343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
98 Using dependent types to express modular structure - MacQueen - 1986
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1987
83 Modules for Standard ML - MacQueen - 1984
70 A Standard ML compiler - Appel, MacQueen - 1987
63 Laboratory for Foundations of Computer Science (context) - Harper, MacQueen et al. - 1985
63 Laboratory for Foundations of Computer Science (context) - Harper, Milner et al. - 1986
48 Implementing PROLOG - Compiling Predicate Logic Programs (context) - Warren - 1977
30 The sharing of structure in theorem-proving programs (context) - Boyer, Moore - 1972
22 A type discipline for program modules (context) - Harper, Milner et al. - 1987
3 Implementing Russell (context) - Boehm, Demers - 1986
1 Sixth International Congress for Logic (context) - Martin-L, Constructive et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/~rwh/courses/modules/index.htm): More
Mixin Modules - Duggan, Sourelis (1996) (Correct)
Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999) (Correct)
An extension of Standard ML modules with subtyping and.. - Mitchell, Meldal (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC