Xavier Leroy  Home/Search
Context Related
Links: DBLP | inria.fr/INRIA/publicat...RR2545.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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a purely syntactic account of type generativity and sharing --- two key mechanisms in the Standard ML module system --- and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the Standard ML module system in a more abstract, type-theoretic framework. (Update)
Cited by: More
An Interpretation of Standard ML in - Type Theory Robert (Correct)
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (Correct)
Using Modules as Classes - Erome Vouillon November (1998) (Correct)
Similar documents (at the sentence level):
35.3%: A Syntactic Theory of Type Generativity and Sharing - Leroy (1996) (Correct)
29.2%: Unknown - Institut National De (Correct)
Active bibliography (related documents): More All
0.3: Using Parameterized Signatures to Express Modular Structure - Jones (1996) (Correct)
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Designing Record Systems - Sulzmann (1997) (Correct)
Similar documents based on text: More All
0.8: Applicative Functors and Fully Transparent Higher-Order Modules - Leroy (1995) (Correct)
0.4: No Type Stamps and No Structure Stamps - a.. - Grosch (1995) (Correct)
0.4: A Modular Module System - Leroy (2000) (Correct)
Related documents from co-citation: More All
32: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
24: and separate compilation (context) - Leroy, modules
22: A semantics for higher-order functors - MacQueen, Tofte - 1994
BibTeX entry: (Update)
Xavier Leroy. A syntactic theory of type generativity and sharing. To appear in Journal of Functional Programming, 1996. http://citeseer.ist.psu.edu/leroy96syntactic.html More
@inproceedings{ leroy94syntactic,
author = "Xavier Leroy",
title = "A Syntactic Theory of Type Generativity and Sharing",
booktitle = "{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), {P}ortland, {O}regon",
year = "1994",
url = "citeseer.ist.psu.edu/leroy96syntactic.html" }
Citations (may not include all citations):384 The definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994 ACM DBLP
163 Commentary on Standard ML (context) - Milner, Tofte - 1991 ACM
160 Abstraction and specification in program development (context) - Liskov, Guttag - 1986
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1992 ACM DBLP
128 and separate compilation (context) - Leroy, modules - 1994
128 On understanding types (context) - Cardelli, Wegner - 1985
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
101 ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1993
98 Using dependent types to express modular structure - MacQueen - 1986 ACM DBLP
87 Operational semantics and polymorphic type inference (context) - Tofte - 1988
82 Typeful programming - Cardelli - 1989
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
65 A semantics for higher-order functors - MacQueen, Tofte - 1994 ACM DBLP
35 Modules for Standard ML - MacQueen - 1984 ACM DBLP
31 Principal signatures for higher-order program modules - Tofte - 1992 ACM DBLP
30 Abstract types and the dot notation (context) - Cardelli, Leroy - 1990
22 A type discipline for program modules (context) - Harper, Milner et al. - 1987
10 Persistence and type abstraction (context) - Cardelli, MacQueen - 1988
4 Extending record typing to type parametric modules with shar.. (context) - Aponte - 1993 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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