Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
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.
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.
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.
Castagna, Giuseppe
1994.
Database Programming Languages (DBPL-4).
p.
338.
Wand, Mitchell
1994.
Introduction.
Journal of Functional Programming,
Vol. 4,
Issue. 2,
p.
125.
Bruce, Kim B.
Crabtree, Jonathan
and
Kanapathy, Gerald
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
603.
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.
Aspinall, David
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
116.
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.
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.
Jacobs, B.P.F.
1995.
Subtypes and bounded quantification from a fibred perspective.
Electronic Notes in Theoretical Computer Science,
Vol. 1,
Issue. ,
p.
273.
Meseguer, José
and
Marti-Oliet, Narciso
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
48.
Loop, G.
Milsted, K.
and
Soloviev, S.
1995.
A logic of subtyping.
p.
292.
Nielson, Flemming
and
Nielson, Hanne Riis
1996.
From CML to its process algebra.
Theoretical Computer Science,
Vol. 155,
Issue. 1,
p.
179.
Discussions
No Discussions have been published for this article.