Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Cardelli, Luca
Martini, Simone
Mitchell, John C.
and
Scedrov, Andre
1991.
Theoretical Aspects of Computer Software.
Vol. 526,
Issue. ,
p.
750.
Breazu-Tannen, Val
Coquand, Thierry
Gunter, Carl A.
and
Scedrov, Andre
1991.
Inheritance as implicit coercion.
Information and Computation,
Vol. 93,
Issue. 1,
p.
172.
Castagna, Giuseppe
Ghelli, Giorgio
and
Longo, Giuseppe
1992.
A calculus for overloaded functions with subtyping.
ACM SIGPLAN Lisp Pointers,
Vol. V,
Issue. 1,
p.
182.
Castagna, Giuseppe
Ghelli, Giorgio
and
Longo, Giuseppe
1992.
A calculus for overloaded functions with subtyping.
p.
182.
Mitchell, J.C.
Honsell, F.
and
Fisher, K.
1993.
A lambda calculus of objects and method specialization.
p.
26.
Abadi, M.
and
Cardelli, L.
1994.
A semantics of object types.
p.
332.
Abadi, Martín
and
Cardelli, Luca
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
296.
Pierce, Benjamin C.
and
Turner, David N.
1994.
Simple type-theoretic foundations for object-oriented programming.
Journal of Functional Programming,
Vol. 4,
Issue. 2,
p.
207.
Li, Jian‐Xin
1994.
Analysis of the pullout of single fibers from low‐density polyethylene.
Journal of Applied Polymer Science,
Vol. 53,
Issue. 2,
p.
225.
Abadi, Martín
and
Cardelli, Luca
1995.
TAPSOFT '95: Theory and Practice of Software Development.
Vol. 915,
Issue. ,
p.
469.
Missura, Stephan A.
1995.
Integrating Symbolic Mathematical Computation and Artificial Intelligence.
Vol. 958,
Issue. ,
p.
144.
Abadi, Martín
and
Cardelli, Luca
1995.
Object-Oriented Programming.
Vol. 952,
Issue. ,
p.
145.
Najm, Elic
and
Stefani, Jean-Bernard
1995.
A formal semantics for the ODP computational model.
Computer Networks and ISDN Systems,
Vol. 27,
Issue. 8,
p.
1305.
Castagna, Giuseppe
1995.
Covariance and contravariance.
ACM Transactions on Programming Languages and Systems,
Vol. 17,
Issue. 3,
p.
431.
Abadi, Martin
and
Cardelli, Luca
1995.
An Imperative Object Calculus.
Theory and Practice of Object Systems,
Vol. 1,
Issue. 3,
p.
151.
Ghelli, Giorgio
1995.
Divergence of F⩽ type checking.
Theoretical Computer Science,
Vol. 139,
Issue. 1-2,
p.
131.
Abadi, Martín
and
Cardelli, Luca
1996.
On subtyping and matching.
ACM Transactions on Programming Languages and Systems,
Vol. 18,
Issue. 4,
p.
401.
Compagnoni, Adriana B.
and
Pierce, Benjamin C.
1996.
Higher-order intersection types and multiple inheritance.
Mathematical Structures in Computer Science,
Vol. 6,
Issue. 5,
p.
469.
Poll, Erik
1997.
Theoretical Aspects of Computer Software.
Vol. 1281,
Issue. ,
p.
439.
Bono, Viviana
Bugliesi, Michele
Dezani-Ciancaglini, Mariangiola
and
Liquori, Luigi
1997.
TAPSOFT '97: Theory and Practice of Software Development.
Vol. 1214,
Issue. ,
p.
465.