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.
Abadi, Martin
and
Cardelli, Luca
1995.
An Imperative Object Calculus.
Theory and Practice of Object Systems,
Vol. 1,
Issue. 3,
p.
151.
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.
Mens, Tom
Mens, Kim
and
Steyaert, Patrick
1995.
OOIS’94.
p.
152.
Compagnoni, Adriana B.
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
46.
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.
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.
Bruce, Kim B.
Schuett, Angela
and
Gent, Robert
1995.
Object-Oriented Programming.
Vol. 952,
Issue. ,
p.
27.
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.
Abadi, Martín
and
Cardelli, Luca
1995.
TAPSOFT '95: Theory and Practice of Software Development.
Vol. 915,
Issue. ,
p.
469.
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.
Aspinall, D.
and
Compagnoni, A.
1996.
Subtyping dependent types.
p.
86.
Jacobs, Bart
1996.
Object Orientation with Parallelism and Persistence.
Vol. 370,
Issue. ,
p.
83.
Ghelli, Giorgio
1996.
Complexity of kernel Fun subtype checking.
ACM SIGPLAN Notices,
Vol. 31,
Issue. 6,
p.
134.
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.
Qian, Zhenyu
and
Krieg-Brückner, Bernd
1996.
ECOOP ’96 — Object-Oriented Programming.
Vol. 1098,
Issue. ,
p.
48.
Discussions
No Discussions have been published for this article.