Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
Ghelli, Giorgio
1996.
Complexity of kernel Fun subtype checking.
ACM SIGPLAN Notices,
Vol. 31,
Issue. 6,
p.
134.
Pierce, Benjamin
and
Steffen, Martin
1997.
Higher-order subtyping.
Theoretical Computer Science,
Vol. 176,
Issue. 1-2,
p.
235.
Bruce, Kim B.
Cardelli, Luca
and
Pierce, Benjamin C.
1997.
Theoretical Aspects of Computer Software.
Vol. 1281,
Issue. ,
p.
415.
O'Hearn, Peter W.
1998.
Polymorphism, objects and abstract types.
ACM SIGACT News,
Vol. 29,
Issue. 4,
p.
39.
Viswanathan, R.
1998.
Full abstraction for first-order objects with recursive types and subtyping.
p.
380.
Bruce, Kim B.
Cardelli, Luca
and
Pierce, Benjamin C.
1999.
Comparing Object Encodings.
Information and Computation,
Vol. 155,
Issue. 1-2,
p.
108.
Igarashi, Atsushi
and
Pierce, Benjamin C.
1999.
ECOOP’ 99 — Object-Oriented Programming.
Vol. 1628,
Issue. ,
p.
161.
Boudol, Gérard
and
Dal-Zilio, Silvano
1999.
Fundamentals of Computation Theory.
Vol. 1684,
Issue. ,
p.
148.
Barthe, Gilles
1999.
Order-Sorted Inductive Types.
Information and Computation,
Vol. 149,
Issue. 1,
p.
42.
Pierce, Benjamin C.
and
Turner, David N.
2000.
Local type inference.
ACM Transactions on Programming Languages and Systems,
Vol. 22,
Issue. 1,
p.
1.
Poll, Erik
2000.
A Coalgebraic Semantics of Subtyping.
Electronic Notes in Theoretical Computer Science,
Vol. 33,
Issue. ,
p.
276.
Lago, Joaquı́n Mateos
and
Artalejo, Mario Rodrı́guez
2001.
A declarative framework for object-oriented programming with genetic inheritance.
Theoretical Computer Science,
Vol. 269,
Issue. 1-2,
p.
363.
Poll, Erik
2001.
A Coalgebraic Semantics of Subtyping.
RAIRO - Theoretical Informatics and Applications,
Vol. 35,
Issue. 1,
p.
61.
Bono, Viviana
and
Salvo, Ivano
2001.
A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA..
Electronic Notes in Theoretical Computer Science,
Vol. 50,
Issue. 2,
p.
159.
Igarashi, Atsushi
and
Pierce, Benjamin C.
2002.
Foundations for Virtual Types.
Information and Computation,
Vol. 175,
Issue. 1,
p.
34.
MacQueen, David
2002.
Should ML be Object-Oriented?.
Formal Aspects of Computing,
Vol. 13,
Issue. 3-5,
p.
214.
Jacobs, Bart
and
Rutten, Jan
2011.
Advanced Topics in Bisimulation and Coinduction.
p.
38.
Na, Hyunik
and
Ryu, Sukyoung
2014.
Functional and Logic Programming.
Vol. 8475,
Issue. ,
p.
238.
Ryu, Sukyoung
2016.
ThisType for Object-Oriented Languages.
ACM Transactions on Programming Languages and Systems,
Vol. 38,
Issue. 3,
p.
1.
Discussions
No Discussions have been published for this article.