Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Intrigila, B
and
Nesi, M
2003.
On structural properties of eta-expansions of identity.
Information Processing Letters,
Vol. 87,
Issue. 6,
p.
327.
Cai, Yufei
Giarrusso, Paolo G.
and
Ostermann, Klaus
2016.
System f-omega with equirecursive types for datatype-generic programming.
p.
30.
Cai, Yufei
Giarrusso, Paolo G.
and
Ostermann, Klaus
2016.
System f-omega with equirecursive types for datatype-generic programming.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 1,
p.
30.
Chen, Zhibo
and
Pfenning, Frank
2023.
Foundations of Software Science and Computation Structures.
Vol. 13992,
Issue. ,
p.
68.
DeYoung, Henry
Mordido, Andreia
Pfenning, Frank
and
Das, Ankush
2024.
Parametric Subtyping for Structural Parametric Polymorphism.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. POPL,
p.
2700.