R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules. In ACM Symp. on Principles of Programming Languages, pages 123--137, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Typed Closure Conversion - Yasuhiko Minamide Greg Self-citation (Harper) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules. In ACM Symp. on Principles of Programming Languages, pages 123--137, 1994.
Refinement Types for ML - Freeman (1994) (54 citations) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. To appear in POPL '94., 1994.
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A Type-Theoretic Approach to Higher-Order Modules with Sharing. In Proc. 21st Symposium on Principles of Programming Languages, pages 123--137, 1994.
Sound and Complete Elimination of Singleton Kinds - Crary (2005) Self-citation (Harper) (Correct)
No context found.
Harper, R. and Lillibridge, M. 1994. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages. Portland, Oregon, 123--137.
An Interpretation of Standard ML in - Type Theory Robert Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st Symposium on Principles of Programming Languages, pages 123--137, 1994.
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A Type-Theoretic Approach to Higher-Order Modules with Sharing. In Proc. 21st Symposium on Principles of Programming Languages, pages 123--137, 1994.
Modular Type Classes - Derek Dreyer Toyota (2006) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL '94.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123--137, Portland, Oregon, January 1994.
A Separate Compilation Extension to Standard ML - Revised And Expanded Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123--137. ACM Press, 1994.
Modular Type Classes - Derek Dreyer Toyota (2006) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL '94.
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123--137, Portland, OR, January 1994.
A Separate Compilation Extension to Standard ML - David Swasey Tom Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123--137. ACM Press, 1994.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) Self-citation (Harper) (Correct)
No context found.
M. Lillibridge and R. Harper. A type-theoretic approach to higher-order modules with sharing. In Symposium on Principles of Programming Languages, 1994.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) Self-citation (Harper) (Correct)
No context found.
M. Lillibridge and R. Harper. A type-theoretic approach to higher-order modules with sharing. In Symposium on Principles of Programming Languages, 1994.
A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st Symposium on Principles of Programming Languages, pages 123--137, 1994.
A Type System for Well-Founded Recursion - Dreyer, Harper, Crary (2003) (4 citations) Self-citation (Harper) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123-137, Portland, OR, January 1994.
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higherorder modules with sharing. In Proc. 21st POPL, 1994.
A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (13 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123--137, Portland, OR, January 1994.
A Type-theoretic Interpretation of Pointcuts and Advice - Ligatti, Walker, Zdancewic (2005) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123--137, Portland, OR, January 1994.
Mixin Modules and Computational Effects - Ancona, Fagorzi, Moggi, Zucca (2003) (2 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123-137, 1994.
Mixin Modules and Computational Effects - Ancona, Fagorzi, Moggi, Zucca (2003) (2 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123-137, 1994.
Using Modules as Classes - Erome Vouillon November (1998) (4 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higherorder modules with sharing. In 21st symposium Principles of Programming Languages, pages 123--137. ACM Press, 1994.
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In ACM Symposium on Principles of Programming Languages, pages 123-137. ACM Press, 1994.
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL '94 [POPL94], pages 123--137.
Dependently Typed Records for Representing Mathematical Structure - Pollack (2000) (5 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL'94. ACM Press, 1994.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123--137, Portland, Oregon, Jan. 1994.
Reuse of SML module system for the B language - Petit, Poirriez, Mariano (2003) (Correct)
No context found.
HARPER, R., AND LILLIBRIDGE, M. A type-theoretic approach to higher-order modules with sharing. In Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Portland, OR, January 1994), pp. 123--137.
Imperative LF Meta-Programming - Stump (2004) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higherorder modules with sharing. In 21st Symposium on Principles of Programming Languages, pages 123--137, 1994. 11
On Variance-Based Subtyping for Parametric Types - Igarashi, Viroli (2002) (4 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. of ACM POPL, pages 123--137, Portland, OR, January 1994.
A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002) (13 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Conference Record of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '94), Portland, Oregon, pages 123--137, New York, NY, January 1994. ACM.
A Reduction Semantics for Call-By-Value Mixin Modules - Hirschowitz, Leroy, Wells (2002) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st symp. Principles of Progr. Lang., pages 123137. ACM Press, 1994.
Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (54 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 123--137, Portland, Oregon, January 1994.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21st POPL, 1994.
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21st POPL, 1994.
Rigid Mixin Modules - Hirschowitz (2003) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higherorder modules with sharing. In 21st symposium Principles of Programming Languages, pages 123137. ACM Press, 1994.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123-137, Portland, Oregon, January 1994.
Functors for Proofs and Programs - Filliatre, Letouzey (2003) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123137, Portland, OR, January 1994.
Unifying Nominal and Structural Ad-hoc Polymorphism - Washburn, Weirich (2004) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123--137, Portland, Oregon, Jan. 1994.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of the 21st ACM Symposium on Principles of Programming Languages, January 1994.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st symp. Principles of Progr. Lang., pages 123-137. ACM Press, 1994.
Program Fragments, Linking, and Modularization - Cardelli (1997) (Correct)
No context found.
Harper, R. and M. Lillibridge, A type-theoretic approach to higher-order modules with sharing. Proc. 21st Annual ACM Symposium on Principles of Programming Languag- es. 123-137, 1994.
A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (13 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123-137, Portland, OR, January 1994.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (2004) (Correct)
No context found.
R. Harper, M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st symp. Principles of Progr. Lang. ACM Press, 1994.
A Logical Framework with Dependently Typed Records - Coquand, Pollack, Takeyama (Correct)
No context found.
R. Harper and . Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL'94. AC Press, 1994.
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL '94 [POPL94], pp. 123--137.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123--137, Portland, Oregon, Jan. 1994.
Abstractions for Component-Based Programming with Dynamic.. - Dominic Duggan Dept (2001) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 123--137, Portland, Oregon, January 1994. ACM Press.
Global Abstraction-Safe Marshalling With Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21st POPL, 1994.
A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (13 citations) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123--137, Portland, OR, January 1994.
A Computationally Sound Call-by-Value Module Calculus - Machkasova, Turbak (2001) (Correct)
No context found.
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In POPL '94 [POPL94], pp. 123--137.
First 50 documents Next 50
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