X. Leroy. Manifest types, modules, and separate compilation. In ACM Symp. on Principles of Programming Languages, pages 109--122, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) Self-citation (Modules) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages, Portland. ACM, January 1994.
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) Self-citation (Modules) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In POPL '94 [POPL94], pages 109--122.
A Reduction Semantics for Call-By-Value Mixin Modules - Hirschowitz, Leroy, Wells (2002) Self-citation (Leroy Modules) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In 21st symp. Principles of Progr. Lang., pages 109122. ACM Press, 1994.
Rigid Mixin Modules - Hirschowitz (2003) Self-citation (Modules) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In 21st symposium Principles of Programming Languages, pages 109122. ACM Press, 1994.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. Self-citation (Leroy Modules) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In 21st symp. Principles of Progr. Lang., pages 109-122. ACM Press, 1994.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (2004) Self-citation (Leroy Modules) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In 21st symp. Principles of Progr. Lang. ACM Press, 1994.
Typed Closure Conversion - Yasuhiko Minamide Greg (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In ACM Symp. on Principles of Programming Languages, pages 109--122, 1994.
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In Proc. 21st POPL, 1994.
Algorithm Specialization in Generic Programming -.. - Järvi, Gregor.. (2006) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Proceedings of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 109--122, 1994.
Concepts: Linguistic Support for Generic Programming in C++ - Douglas Gregor Dgregor (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Proceedings of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 109--122, 1994.
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Proc. 21st Symposium on Principles of Programming Languages, pages 109--122, 1994.
An Interpretation of Standard ML in - Type Theory Robert (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In 21st Symposium on Principles of Programming Languages, pages 109--122, 1994.
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Proc. 21st Symposium on Principles of Programming Languages, pages 109--122, 1994.
To Build Open and Evolutive Applications: an Approach.. - Courbis, Lahire, Parigot (2004) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In POPL'94, 1994.
Dependently Typed Records for Representing Mathematical Structure - Pollack (2000) (5 citations) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In POPL'94, New York, NY, USA, 1994. ACM Press.
To Build Open and Evolutive Applications: an Approach.. - Courbis, Lahire, Parigot (2004) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In POPL'94, 1994.
XQuery at Your Web Service - Onose, Simeon (2004) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL), pages 109--122, Portland, Oregon, Jan. 1994.
Reuse of SML module system for the B language - Petit, Poirriez, Mariano (2003) (Correct)
No context found.
LEROY, X. Manifest types, modules, and separate compilation. In 21st symposium Principles of Programming Languages (1994), ACM Press, pp. 109--122.
A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002) (13 citations) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Conference Record of the 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL '94), Portland, Oregon, pages 109--122, New York, NY, January 1994. ACM.
To Build Open and Evolutive Applications: an Approach.. - Courbis, Lahire, Parigot (2004) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In POPL'94, 1994.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In Proc. 21st POPL, pages 109-- 122, 1994.
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In Proc. 21st POPL, pages 109--122, 1994.
A Logical Framework with Dependently Typed Records - Coquand, Pollack, Takeyama (Correct)
No context found.
X. Leroy. anifest types, modules, and separate compilation. In POPL'94,New York , NY, USA, 1994. AC Press.
A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) (Correct)
No context found.
Xavier Leroy. Manifest types, modules, and separate compilation. In 21st Symposium on Principles of Programming Languages, pages 109--122, 1994.
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
No context found.
X. Leroy. Manifest types, modules, and separate compilation. In POPL '94
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