Derek Dreyer, Karl Crary, Robert Harper  Home/Search
Context Related
| cmu.edu/~rwh/papers/thoms/tr2.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/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a type theory for higher-order modules that accounts for many current issues in modular programming languages, including translucency, applicativity, generativity, and modules as first-class values. Our theory harmonizes design elements from various previous work, resulting in a simple, economical, and elegant language. This language is useful as a framework for comparing alternative designs, and is the first language to provide all of these features simultaneously and still support... (Update)
Cited by: More
Sound and Complete Elimination of Singleton Kinds - Crary (2005) (Correct)
Modular Type Classes - Derek Dreyer Toyota (2006) (Correct)
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) (Correct)
Similar documents (at the sentence level):
60.3%: A Type System for Higher-Order Modules (Expanded Version) - Dreyer, Crary, Harper (2002) (Correct)
57.5%: A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (Correct)
Active bibliography (related documents): More All
0.5: Polyglot: An Extensible Compiler Framework for Java - Nystrom, Clarkson, Myers (2003) (Correct)
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: First-Class Modules for Haskell - Shields, Jones (2001) (Correct)
Similar documents based on text:
1.0: Unknown - (Correct)
Related documents from co-citation: More All
16: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
12: Deciding type equivalence in a language with singleton kinds - Stone, Harper - 1999
11: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
BibTeX entry: (Update)
K. Crary, R. Harper, and D. Dreyer. A type system for higher-order modules. (To appear in POPL'02), Sept. 2001. http://citeseer.ist.psu.edu/dreyer01type.html More
@misc{ crary01type,
author = "K. Crary and R. Harper and D. Dreyer",
title = "A type system for higher-order modules",
text = "K. Crary, R. Harper, and D. Dreyer. A type system for higher-order modules.
(To appear in POPL'02), Sept. 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/dreyer01type.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
128 and separate compilation (context) - Leroy, modules - 1994
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
98 Using dependent types to express modular structure - MacQueen - 1986
97 The undecidability of the secondorder unification problem (context) - Goldfarb - 1981
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
65 A semantics for higher-order functors - MacQueen, Tofte - 1994
59 An extension of Standard ML modules with subtyping and inher.. - Mitchell, Meldal et al. - 1991
52 A type-theoretic interpretation of Standard ML - Harper, Stone - 2000
48 What is a recursive module - Crary, Harper et al. - 1999
48 Translucent Sums: A Foundation for Higher-Order Module Syste.. - Lillibridge - 1996
45 A modular module system - Leroy - 2000
43 A syntactic theory of type generativity and sharing - Leroy - 1996
35 Deciding type equivalence in a language with singleton kinds - Stone, Harper - 2000
32 The Modula-3 type system - Cardelli, Donahue et al. - 1989
30 Texts and Monographs in Computer Science (context) - Wirth, Modula- - 1983
30 Abstract types and the dot notation (context) - Cardelli, Leroy - 1990
25 Theoretical Computer Science (context) - Ghelli, Pierce et al. - 1998
22 Transparent modules with fully syntactic signatures - Shao - 1999
21 A type system for higher-order modules - Dreyer, Crary et al. - 2002
17 Type Systems for Modular Programs and Specifications (context) - Aspinall - 1997
13 Recursive structures for Standard ML - Russo - 2001
12 First-class structures for Standard ML - Russo - 2000
8 Sound and complete elimination of singleton kinds - Crary - 2071
7 Singleton Kinds and Singleton Types (context) - Stone - 2000
2 Modular typechecking for hierarchically extensible datatypes.. - Millstein, Chambers - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~rwh/papers.htm): More
On the Unusual Effectiveness of Logic in Computer Science - Halpern, Harper.. (2000) (Correct)
Adaptive Functional Programming - Acar, Blelloch, Harper (2001) (Correct)
A Performance Comparison of Interval Arithmetic and.. - Seshia, Blelloch, Harper (2000) (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