Xavier Leroy. A syntactic theory of type generativity and sharing. Journal of Functional Programming, 6(5):667--698, 1996. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) (Correct)
Using Parameterized Signatures to Express Modular Structure - Jones (1996) (32 citations) (Correct)
A Type System for Higher-Order Modules (Expanded Version) - Dreyer, Crary, Harper (2002) (Correct)
An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (20 citations) (Correct)
Types for Modules - Russo (1998) (3 citations) (Correct)
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) (Correct)
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2003) (12 citations) (Correct)
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
Adaptation in HOT Languages Comparing Polymorphism, Modules, and .. - MacQueen (2001) (2 citations) (Correct)
Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (6 citations) (Correct)
Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (6 citations) (Correct)
Adaptation in HOT Languages Comparing Polymorphism, Modules, and .. - MacQueen (2001) (2 citations) (Correct)
Using, Understanding, and Unraveling - The Ocaml Language - From.. - Remy (2000) (Correct)
Using Parameterized Signatures to Express Modular Structure - Jones (1996) (32 citations) (Correct)
Inheritance-Based Subtyping - Fisher, Reppy (2000) (Correct)
Dependently Typed Records for Representing Mathematical Structure - Pollack (2000) (5 citations) (Correct)
An Interpretation of Standard ML in - Type Theory Robert (Correct)
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) (Correct)
Using Modules as Classes - Erome Vouillon November (1998) (4 citations) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
A Logical Framework with Dependently Typed Records - Coquand, Pollack, Takeyama (Correct)
Regional Analysis and a $\pi$-Calculus With Groups - Zilio, Gordon (2000) (Correct)
First 50 documents
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