David MacQueen  Home/Search
Context Related
| ii.uni.wroc.pl/~tomasz/s...modimp.ps.gz 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: ii.uni.wroc.pl/~tomasz/sml/doc... (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 Lo"f'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)
Context of citations to this paper: More
...many others can be built. 6. 1 Related works Our use of the word functor is similar to ML s one for designating parameterized modules [Mac88] However, our logic functors are very specialized contrary to functors in ML which are general purpose (in short, we have fixed the...
...the title The Fox Project: Advanced Development of Systems Software , ARPA Order No. 8313, issued by ESD AVS under Contract No. F19628 91 C 0168. IElectronic mail address: rhcs. cmu. edu. Electronic mall address: mdlcs. cmu. edu. Perm ss;on to copy without fee all or part...
Cited by: More
XQuery at Your Web Service - Onose, Simeon (2004) (Correct)
Separate Compilation for Standard ML - Appel, MacQueen (1994) (Correct)
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (Correct)
Active bibliography (related documents): More All
0.5: An Implementation of Standard ML Modules - David Macqueen Att (1988) (Correct)
0.5: Fundamentals Of Deductive Program Synthesis - Manna, Waldinger (1992) (Correct)
0.3: Static Dependent Types for First Class Modules - Mark Sheldon And (Correct)
Similar documents based on text: More All
0.2: Modules for Standard ML - MacQueen (1984) (Correct)
0.1: Transparent Modules with Fully Syntactic Signatures - Shao (1999) (Correct)
0.1: Parameterized Signatures and Higher-Order Modules - Shao (1998) (Correct)
Related documents from co-citation: More All
13: Commentary on Standard ML (context) - Milner, Tofte - 1990
11: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
9: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
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/article/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/article/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, 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
2 Sixth International Congress for Logic (context) - Martin-Lo, Constructive et al. - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ii.uni.wroc.pl/~tomasz/sml/doc/): More
Compile-time Detection of Uncaught Exceptions in Standard ML Programs - Yi (1994) (Correct)
ForML - a Pretty-Printing Facility for SML - Rohwedder (1993) (Correct)
Tree Pattern Matching for ML (Extended Abstract) - Baudinet, MacQueen (1985) (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