Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kobayashi, Naoki
and
Yonezawa, Akinori
1994.
Type-theoretic foundations for concurrent object-oriented programing.
ACM SIGPLAN Notices,
Vol. 29,
Issue. 10,
p.
31.
Läufer, Konstantin
and
Odersky, Martin
1994.
Polymorphic type inference and abstract data types.
ACM Transactions on Programming Languages and Systems,
Vol. 16,
Issue. 5,
p.
1411.
Abadi, M.
and
Cardelli, L.
1994.
A semantics of object types.
p.
332.
Pierce, Benjamin C.
and
Turner, David N.
1995.
Theory and Practice of Parallel Programming.
Vol. 907,
Issue. ,
p.
187.
Hofmann, Martin
and
Pierce, Benjamin
1995.
A unifying type-theoretic framework for objects.
Journal of Functional Programming,
Vol. 5,
Issue. 4,
p.
593.
Compagnoni, Adriana B.
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
46.
Bruce, Kim
Cardelli, Luca
Castagna, Giuseppe
Leavens, Gary T.
and
Pierce, Benjamin
1995.
On Binary Methods.
Theory and Practice of Object Systems,
Vol. 1,
Issue. 3,
p.
221.
Mens, Tom
Mens, Kim
and
Steyaert, Patrick
1995.
OOIS’94.
p.
152.
Abadi, Martín
and
Cardelli, Luca
1995.
TAPSOFT '95: Theory and Practice of Software Development.
Vol. 915,
Issue. ,
p.
469.
Bruce, Kim B.
Schuett, Angela
and
Gent, Robert
1995.
Object-Oriented Programming.
Vol. 952,
Issue. ,
p.
27.
Fisher, Kathleen
and
Mitchell, John C.
1995.
The Development of Type Systems for Object‐Oriented Languages.
Theory and Practice of Object Systems,
Vol. 1,
Issue. 3,
p.
189.
Kobayashi, Naoki
and
Yonezawa, Akinori
1995.
Toward Foundations of Concurrent Object‐Oriented Programming‐Types and Language Design.
Theory and Practice of Object Systems,
Vol. 1,
Issue. 4,
p.
243.
Fisher, Kathleen
and
Mitchell, John C.
1995.
Fundamentals of Computation Theory.
Vol. 965,
Issue. ,
p.
42.
Abadi, Martin
and
Cardelli, Luca
1995.
An Imperative Object Calculus.
Theory and Practice of Object Systems,
Vol. 1,
Issue. 3,
p.
151.
Aspinall, D.
and
Compagnoni, A.
1996.
Subtyping dependent types.
p.
86.
Ghelli, Giorgio
1996.
Complexity of kernel Fun subtype checking.
p.
134.
Qian, Zhenyu
and
Krieg-Brückner, Bernd
1996.
ECOOP ’96 — Object-Oriented Programming.
Vol. 1098,
Issue. ,
p.
48.
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.
Jacobs, Bart
1996.
Object Orientation with Parallelism and Persistence.
Vol. 370,
Issue. ,
p.
83.
Castagna, Giuseppe
1996.
Integration of parametric and “ad hoc” second order polymorphism in a calculus with subtyping.
Formal Aspects of Computing,
Vol. 8,
Issue. 3,
p.
247.
Discussions
No Discussions have been published for this article.