Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Grossman, Dan
Morrisett, Greg
and
Zdancewic, Steve
2000.
Syntactic type abstraction.
ACM Transactions on Programming Languages and Systems,
Vol. 22,
Issue. 6,
p.
1037.
Bierman, G.M.
Pitts, A.M.
and
Russo, C.V.
2001.
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Electronic Notes in Theoretical Computer Science,
Vol. 41,
Issue. 3,
p.
70.
Johann, Patricia
2001.
Semantics, Applications, and Implementation of Program Generation.
Vol. 2196,
Issue. ,
p.
47.
Voigtländer, Janis
2002.
Concatenate, reverse and map vanish for free.
p.
14.
Pitts, Andrew M.
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
378.
Voigtländer, Janis
2002.
Concatenate, reverse and map vanish for free.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
14.
Erkök, Levent
Launchbury, John
and
Moran, Andrew
2002.
Semantics of value recursion for Monadic Input/Output.
RAIRO - Theoretical Informatics and Applications,
Vol. 36,
Issue. 2,
p.
155.
Nishimura, Susumu
2003.
Programming Languages and Systems.
Vol. 2895,
Issue. ,
p.
358.
Thielecke, Hayo
2003.
From control effects to typed continuation passing.
p.
139.
Rossberg, Andreas
2003.
Generativity and dynamic opacity for abstract types.
p.
241.
Thielecke, Hayo
2003.
From control effects to typed continuation passing.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
139.
Berger, Martin
Honda, Kohei
and
Yoshida, Nobuko
2003.
Foundations of Software Science and Computation Structures.
Vol. 2620,
Issue. ,
p.
103.
Kennedy, Andrew
and
Syme, Don
2004.
Transposing F to C♯: expressivity of parametric polymorphism in an object‐oriented language.
Concurrency and Computation: Practice and Experience,
Vol. 16,
Issue. 7,
p.
707.
Vouillon, Jérôme
2004.
Computer Science Logic.
Vol. 3210,
Issue. ,
p.
415.
Sumii, Eijiro
and
Pierce, Benjamin C.
2004.
A bisimulation for dynamic sealing.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
161.
Thielecke, Hayo
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
279.
Vouillon, Jerome
and
Melliès, Paul-André
2004.
Semantic types.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
52.
Johann, Patricia
and
Voigtländer, Janis
2004.
Free theorems in the presence of
seq
.
p.
99.
Sumii, Eijiro
and
Pierce, Benjamin C.
2004.
A bisimulation for dynamic sealing.
p.
161.
Johann, Patricia
and
Voigtländer, Janis
2004.
Free theorems in the presence of
seq
.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
99.