V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172--221, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
No context found.
V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172--221, 1991.
Mutatis Mutandis: - Safe And Predictable (Correct)
No context found.
V. Breazu-Tannen, T. Coquand, C.A. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and computation, 93(1):172--221, 1991.
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
No context found.
V. Breazu-Tannen, T. Coquand, C. A. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172--221, 1991.
Coercive Subtyping for the Calculus of Constructions - Extended Gang (2003) (Correct)
No context found.
V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93(1):172-221, July 1991.
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
No context found.
V. Breazu-Tannen, T. Coquand, C. A. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172--221, 1991.
Coercive Subtyping for the Calculus of Constructions (Extended.. - Chen (2003) (Correct)
No context found.
V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93(1):172--221, July 1991.
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