Robert Harper, John C. Mitchell, Eugenio Moggi  Home/Search
Context Related
Links: ACM DBLP | disi.unige.it/person/Mog...popl90.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: disi.unige.it/pers...publications (more) Homepages: E.Moggi |
Rate this article:      (best)Comment on this article |
Abstract: Typed λ-calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their relation to each other. In earlier work we introduced a predicative function calculus, XML, for modeling several aspects of the Standard ML type system. Following MacQueen, our study focused on the use of dependent types to represent the modularity constructs of Standard ML. In addition to shedding some light on... (Update)
Cited by: More
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (Correct)
Sound and Complete Elimination of Singleton Kinds - Crary (2005) (Correct)
Similar documents (at the sentence level):
32.7%: Higher-Order Modules and the Phase Distinction - Harper, Mitchell, Moggi (1990) (Correct)
Active bibliography (related documents): More All
0.3: On the Type Structure of Standard ML - Harper, Mitchell (1992) (Correct)
0.2: A Polymorphic Record Calculus and Its Compilation - Ohori (1995) (Correct)
0.2: An extension of Standard ML modules with subtyping and.. - Mitchell, Meldal (1991) (Correct)
Similar documents based on text: More All
0.4: A Semantics for Higher-order Functors - MacQueen, Torre (1994) (Correct)
0.3: On The Type Structure of Standard ML - Robert Harper Carnegie-Mellon (1993) (Correct)
0.2: A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (Correct)
Related documents from co-citation: More All
61: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
45: and separate compilation (context) - Leroy, modules
39: Applicative functors and fully transparent higher-order modules - Leroy - 1995
BibTeX entry: (Update)
Robert Harper, John C. Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In Seventeenth ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 341--354, San Francisco, January 1990. http://citeseer.ist.psu.edu/article/harper90higherorder.html More
@inproceedings{ harper90higherorder,
author = "Robert Harper and John C. Mitchell and Eugenio Moggi",
title = "Higher-order modules and the phase distinction",
booktitle = "Conference record of the {S}eventeenth {A}nnual {ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages",
month = "January",
address = "San Francisco, CA",
pages = "341--354",
year = "1990",
url = "citeseer.ist.psu.edu/article/harper90higherorder.html" }
Citations (may not include all citations):325 Towards a theory of type structure (context) - Reynolds - 1974 ACM DBLP
291 Computational lambda calculus and monads - Moggi - 1989
236 Intuitionistic Type Theory (context) - Martin-L - 1984
132 Interpretation fonctionelle et elimination des coupures de l.. (context) - Girard - 1972
131 The essence of Algol (context) - Reynolds - 1981 ACM
98 Using dependent types to express modular structure - MacQueen - 1986 ACM DBLP
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte
37 A kernel language for abstract data types and modules (context) - Burstall, Lampson - 1984 DBLP
35 The essence of ML (context) - Mitchell, Harper - 1988 ACM DBLP
29 A category-theoretic account of program modules - Moggi - 1989 ACM DBLP
28 The semantics of second-order lambda calculus (context) - Bruce, Meyer et al. - 1989 ACM DBLP
22 Phase distinctions in type theory - Cardelli - 1988
22 A type discipline for program modules (context) - Harper, Milner et al. - 1987 ACM DBLP
9 for Foundations of Computer Science (context) - Harper, Milner et al. - 1987
9 for Foundations of Computer Science (context) - Harper, MacQueen et al. - 1986
4 Une extension de l'interpretation de Godel a l'analyse (context) - Girard - 1971
1 Chalmers Institue of Technology (context) - Nordstrom, Peterson et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/MoggiE/publications.html): More
The Partial Lambda-Calculus - Moggi (1988) (Correct)
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
Typed Intermediate Languages for Shape-Analysis - Bellè, Moggi (1997) (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