Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Sumii, Eijiro
and
Kobayashi, Naoki
1999.
Online-and-offline partial evaluation (extended abstract).
p.
12.
Sumii, Eijiro
and
Kobayashi, Naoki
1999.
Online-and-offline partial evaluation (extended abstract).
ACM SIGPLAN Notices,
Vol. 34,
Issue. 11,
p.
12.
Gasbichler, Martin
and
Sperber, Michael
2002.
Final shift for call/cc:.
p.
271.
Asai, Kenichi
2002.
Online partial evaluation for shift and reset.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 3,
p.
19.
Gasbichler, Martin
and
Sperber, Michael
2002.
Final shift for call/cc:.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
271.
Asai, Kenichi
2002.
Online partial evaluation for shift and reset.
p.
19.
Sig Ager, Mads
Danvy, Olivier
and
Goldberg, Mayer
2002.
The Essence of Computation.
Vol. 2566,
Issue. ,
p.
296.
Rhiger, Morten
2002.
Practical Aspects of Declarative Languages.
Vol. 2257,
Issue. ,
p.
120.
Thiemann, Peter
2003.
Static Analysis.
Vol. 2694,
Issue. ,
p.
366.
Danvy, Olivier
and
Martínez López, Pablo E.
2003.
Programming Languages and Systems.
Vol. 2618,
Issue. ,
p.
335.
Asai, Kenichi
2004.
Offline partial evaluation for shift and reset.
p.
3.
Helsen, Simon
and
Thiemann, Peter
2004.
Polymorphic specialization for ML.
ACM Transactions on Programming Languages and Systems,
Vol. 26,
Issue. 4,
p.
652.
Biernacka, Malgorzata
Biernacki, Dariusz
and
Danvy, Olivier
2005.
An Operational Foundation for Delimited Continuations in the CPS Hierarchy.
Logical Methods in Computer Science,
Vol. Volume 1, Issue 2,
Issue. ,
Kiselyov, Oleg
Shan, Chung-chieh
and
Sabry, Amr
2006.
Delimited dynamic binding.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 9,
p.
26.
Kiselyov, Oleg
Shan, Chung-chieh
and
Sabry, Amr
2006.
Delimited dynamic binding.
p.
26.
Shan, Chung-chieh
2007.
A static simulation of dynamic delimited control.
Higher-Order and Symbolic Computation,
Vol. 20,
Issue. 4,
p.
371.
Kiselyov, Oleg
and
Shan, Chung-chieh
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
223.
Biernacka, Malgorzata
and
Biernacki, Dariusz
2009.
Context-based proofs of termination for typed delimited-control operators.
p.
289.
Kameyama, Yukiyoshi
Kiselyov, Oleg
and
Shan, Chung-chieh
2009.
Shifting the stage.
p.
111.
Kiselyov, Oleg
and
Shan, Chung-chieh
2009.
Domain-Specific Languages.
Vol. 5658,
Issue. ,
p.
360.
Discussions
No Discussions have been published for this article.