Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Danvy, Olivier
Dzafic, Belmina
and
Pfennin, Frank
1999.
On proving syntactic properties of CPS programs.
Electronic Notes in Theoretical Computer Science,
Vol. 26,
Issue. ,
p.
21.
Levy, Paul Blain
1999.
Typed Lambda Calculi and Applications.
Vol. 1581,
Issue. ,
p.
228.
Boudol, Gérard
2000.
On the semantics of the call-by-name CPS transform.
Theoretical Computer Science,
Vol. 234,
Issue. 1-2,
p.
309.
Vestergaard, René
2001.
The Simple Type Theory of Normalisation by Evaluation.
Electronic Notes in Theoretical Computer Science,
Vol. 57,
Issue. ,
p.
163.
Danvy, Olivier
and
Nielsen, Lasse R.
2001.
Functional and Logic Programming.
Vol. 2024,
Issue. ,
p.
78.
Polakow, Jeff
and
Yi, Kwangkeun
2001.
Functional and Logic Programming.
Vol. 2024,
Issue. ,
p.
61.
Führmann, Carsten
and
Thielecke, Hayo
2004.
On the call-by-value CPS transform and its semantics.
Information and Computation,
Vol. 188,
Issue. 2,
p.
241.
Thielecke, Hayo
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
279.
Lassen, S.
2005.
Eager Normal Form Bisimulation.
p.
345.
Lassen, S.B.
2006.
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.
p.
297.
Levy, Paul Blain
2006.
Call-by-push-value: Decomposing call-by-value and call-by-name.
Higher-Order and Symbolic Computation,
Vol. 19,
Issue. 4,
p.
377.
DANVY, OLIVIER
MILLIKIN, KEVIN
and
NIELSEN, LASSE R.
2007.
On one-pass CPS transformations.
Journal of Functional Programming,
Vol. 17,
Issue. 6,
p.
793.
Levy, Paul Blain
2007.
Amb Breaks Well-Pointedness, Ground Amb Doesn't.
Electronic Notes in Theoretical Computer Science,
Vol. 173,
Issue. ,
p.
221.
Bieniusa, Annette
and
Thiemann, Peter
2009.
Compiler Construction.
Vol. 5501,
Issue. ,
p.
266.
Crolard, Tristan
Polonowski, Emmanuel
and
Valarcher, Pierre
2009.
Extending the loop language with higher-order procedural variables.
ACM Transactions on Computational Logic,
Vol. 10,
Issue. 4,
p.
1.
Danvy, Olivier
2009.
Advanced Functional Programming.
Vol. 5832,
Issue. ,
p.
66.
Tanaka, Asami
and
Kameyama, Yukiyoshi
2012.
Functional and Logic Programming.
Vol. 7294,
Issue. ,
p.
260.
Schöpp, Ulrich
2014.
Programming Languages and Systems.
Vol. 8858,
Issue. ,
p.
428.
Discussions
No Discussions have been published for this article.