Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
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.
Plotkin, G.
Abadi, M.
and
Cardelli, L.
1994.
Subtyping and parametricity.
p.
310.
Hasegawa, Ryu
1996.
Computer Science Logic.
Vol. 1092,
Issue. ,
p.
291.
Takeuti
and
Izumi
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
354.
Pitts, Andrew M.
1998.
Parametric Polymorphism and Operational Equivalence (Preliminary Version).
Electronic Notes in Theoretical Computer Science,
Vol. 10,
Issue. ,
p.
2.
O'Hearn, Peter W.
1998.
Polymorphism, objects and abstract types.
ACM SIGACT News,
Vol. 29,
Issue. 4,
p.
39.
Tsuiki, Hideki
1999.
A Domain-theoretic Semantics of Lax Generic Functions.
Electronic Notes in Theoretical Computer Science,
Vol. 29,
Issue. ,
p.
301.
Scott, P.J.
2000.
Vol. 2,
Issue. ,
p.
3.
Wadler, Philip
2001.
Theoretical Aspects of Computer Software.
Vol. 2215,
Issue. ,
p.
468.
Wadler, Philip
2003.
The Girard–Reynolds isomorphism.
Information and Computation,
Vol. 186,
Issue. 2,
p.
260.
Tsuiki, Hideki
2003.
A domain-theoretic semantics of lax generic functions.
Theoretical Computer Science,
Vol. 294,
Issue. 1-2,
p.
307.
Ghani, Neil
Uustalu, Tarmo
and
Vene, Varmo
2004.
Programming Languages and Systems.
Vol. 3302,
Issue. ,
p.
327.
Hasegawa, M.
2005.
Relational Parametricity and Control.
p.
72.
Wadler, Philip
2007.
The Girard–Reynolds isomorphism (second edition).
Theoretical Computer Science,
Vol. 375,
Issue. 1-3,
p.
201.
Asada, Kazuyuki
2008.
Programming Languages and Systems.
Vol. 5356,
Issue. ,
p.
122.
Bernardy, Jean-Philippe
and
Moulin, Guilhem
2012.
A Computational Interpretation of Parametricity.
p.
135.
Ghani, Neil
Johann, Patricia
Forsberg, Fredrik Nordvall
Orsanigo, Federico
and
Revell, Tim
2015.
Bifibrational Functorial Semantics of Parametric Polymorphism.
Electronic Notes in Theoretical Computer Science,
Vol. 319,
Issue. ,
p.
165.
Uemura, Taichi
2017.
Fibred fibration categories.
p.
1.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
827.
Basold, Henning
and
Hansen, Helle Hvid
2019.
Well-definedness and observational equivalence for inductive–coinductive programs.
Journal of Logic and Computation,
Vol. 29,
Issue. 4,
p.
419.