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.
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.
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