Derek Dreyer, Robert Harper, Karl Crary  Home/Search
Context Related
| cmu.edu/anon/2001/CMUCS01112.ps cmu.edu/~rwh/papers/ttrm/rmtr.ps 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/~fox/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Module systems for languages with complex type systems, such as Standard ML, often lack the ability to express mutually recursive type and function dependencies across module boundaries. Previous work by Crary, Harper and Puri [5] set out a type-theoretic foundation for recursive modules in the context of a phase-distinction calculus for higher-order modules. Two constructs were introduced for encoding recursive modules: a fixed-point module and a recursively dependent signature. Unfortunately, ... (Update)
Cited by: More
Rigid Mixin Modules - Hirschowitz (2003) (Correct)
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (Correct)
A Type System for Well-Founded Recursion - Dreyer, Harper, Crary (2003) (Correct)
Similar documents (at the sentence level):
59.5%: Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (Correct)
Active bibliography (related documents): More All
0.2: Typed Compilation of Recursive Datatypes - Joseph Vanderwaart Derek (Correct)
0.2: What is a Recursive Module? - Crary, Harper, Puri (1999) (Correct)
0.2: A Type System for Higher-Order Modules (Expanded Version) - Dreyer, Crary, Harper (2002) (Correct)
Similar documents based on text: More All
0.5: Efficient Recursion in the Presence of Effects - Dreyer, Harper, Crary (Correct)
0.4: A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2003) (Correct)
0.3: Programming Language Semantics in Foundational Type Theory - Crary (1996) (Correct)
Related documents from co-citation: More All
8: What is a recursive module - Crary, Harper et al. - 1999
8: Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
8: Mixin modules - Duggan, Sourelis - 1996
BibTeX entry: (Update)
D. Dreyer, K. Crary, and R. Harper. Toward a practical type theory for recursive modules. Technical Report CMU-CS-01-112, Carnegie Mellon University, 2001. http://citeseer.ist.psu.edu/article/dreyer01toward.html More
@techreport{ dreyer01toward,
author = "D. Dreyer and K. Crary and R. Harper",
title = "Toward a practical type theory for recursive modules",
nimber = "CMU-CS-01-112",
institution = "Carnegie Mellon University",
year = "2001",
url = "citeseer.ist.psu.edu/article/dreyer01toward.html" }
Citations (may not include all citations):126 Type inference with polymorphic recursion - Henglein - 1993
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990 ACM DBLP
106 Purely Functional Data Structures - Okasaki - 1998
103 The Denition of Standard ML (context) - Milner, Tofte et al. - 1997
94 Units: Cool modules for HOT languages - Flatt, Felleisen - 1998 DBLP
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995 ACM DBLP
67 Mixin modules - Duggan, Sourelis - 1996 ACM DBLP
56 URL httpwww (context) - ML, http et al.
54 Type reconstruction in the presence of polymorphic recursion (context) - Kfoury, Tiuryn et al. - 1993 ACM DBLP
48 What is a recursive module - Crary, Harper et al. - 1999
43 A syntactic theory of type generativity and sharing - Leroy - 1996 DBLP
35 overview FLINTML compiler - An, the et al. - 1997
35 Deciding type equivalence for a language with singleton kind.. - Stone, Harper - 2000
27 An interpretation of Standard ML in type theory - Harper, Stone - 1997
22 Transparent modules with fully syntactic signatures - Shao - 1999 DBLP
18 The Objective Caml system: Documentation and user's guide (context) - Leroy - 1996
15 Inheritance as implicit coercion - Breazu-Tannen, Coquand et al. - 1991 ACM DBLP
14 Polymorphic type schemes and recursive denitions (context) - Mycroft - 1984
10 Technical Report CMU-CS (context) - Crary, Harper et al. - 1998
10 an and Constantinos Sourelis. Parameterized modules, recursi.. (context) - Dugg - 1998
9 Moscow ML Owner's Manual - Romanenko, Russo et al. - 2000
9 Implementing the TILT internal language - Petersen, Cheng et al. - 2000
8 Typed compilation of inclusive subtyping - Crary - 2000 ACM DBLP
2 on Types. PhD thesis, Carnegie Mellon University, Department.. (context) - Stone, Kinds - 2000
2 Advanced module systems: A guide for the perplexed (context) - Pierce, Harper - 2000
2 To be submitted (context) - Petersen, Crary et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~fox/publications.html): More
A Modal Analysis of Staged Computation - Davies, Pfenning (1995) (Correct)
Replication-Based Incremental Copying Collection - Nettles, O'Toole, Pierce.. (1993) (Correct)
Implementing the TILT Internal Language - Petersen, Cheng, Harper, Stone (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