Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bruce, Kim B.
Crabtree, Jon
Murtagh, Thomas P.
van Gent, Robert
Dimock, Allyn
and
Muller, Robert
1993.
Safe and decidable type checking in an object-oriented language.
p.
29.
Longo, G.
Milsted, K.
and
Soloviev, S.
1993.
The genericity theorem and the notion of parametricity in the polymorphic lambda -calculus.
p.
6.
Bruce, Kim B.
Crabtree, Jon
Murtagh, Thomas P.
van Gent, Robert
Dimock, Allyn
and
Muller, Robert
1993.
Safe and decidable type checking in an object-oriented language.
ACM SIGPLAN Notices,
Vol. 28,
Issue. 10,
p.
29.
Longo, Giuseppe
Milsted, Kathleen
and
Soloviev, Sergei
1993.
The genericity theorem and parametricity in the polymorphic λ-calculus.
Theoretical Computer Science,
Vol. 121,
Issue. 1-2,
p.
323.
Gill, Andrew
Launchbury, John
and
Peyton Jones, Simon L.
1993.
A short cut to deforestation.
p.
223.
Longo, Giuseppe
1993.
TAPSOFT'93: Theory and Practice of Software Development.
Vol. 668,
Issue. ,
p.
658.
Castagna, Giuseppe
Ghelli, Giorgio
and
Longo, Giuseppe
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
107.
Bruce, Kim B.
1994.
A paradigmatic object-oriented programming language: Design, static typing and semantics.
Journal of Functional Programming,
Vol. 4,
Issue. 2,
p.
127.
Bruce, Kim B.
Crabtree, Jonathan
and
Kanapathy, Gerald
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
603.
Castagna, Giuseppe
1994.
Database Programming Languages (DBPL-4).
p.
338.
Wand, Mitchell
1994.
Introduction.
Journal of Functional Programming,
Vol. 4,
Issue. 2,
p.
125.
Meseguer, José
and
Marti-Oliet, Narciso
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
48.
Aspinall, David
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
1.
Hofmann, Martin
and
Pierce, Benjamin
1995.
A unifying type-theoretic framework for objects.
Journal of Functional Programming,
Vol. 5,
Issue. 4,
p.
593.
Loop, G.
Milsted, K.
and
Soloviev, S.
1995.
A logic of subtyping.
p.
292.
Aspinall, David
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
116.
Jacobs, B.P.F.
1995.
Subtypes and bounded quantification from a fibred perspective.
Electronic Notes in Theoretical Computer Science,
Vol. 1,
Issue. ,
p.
273.
Abadi, Martín
and
Cardelli, Luca
1995.
Object-Oriented Programming.
Vol. 952,
Issue. ,
p.
145.
Ghelli, Giorgio
1995.
Divergence of F⩽ type checking.
Theoretical Computer Science,
Vol. 139,
Issue. 1-2,
p.
131.
Ghelli, Giorgio
1996.
Complexity of kernel Fun subtype checking.
p.
134.
Discussions
No Discussions have been published for this article.