An Implementation of Transparent Migration on Standard Scheme (2000)

by Eijiro Sumii
Venue:Department of Computer Science, Rice University
Citations:9 - 0 self

Active Bibliography

Types for Proofs and Programs – Bernd Grobauer - 1999
1 Program Specialization for Efficient Monitored Execution – Peter Thiemann - 2001
Author manuscript, published in "Annals of Pure and Applied Logic (2012)" DOI: 10.1016/j.apal.2012.05.003 Continuation-passing Style Models Complete for Intuitionistic Logic – Danko Ilik - 2012
6 Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract) – Eijiro Sumii, Naoki Kobayashi - 2000
The – Observationally (böhm Complete
3 Continuation-based Partial Evaluation without Continuations – Peter Thiemann - 2003
6 Online Type-Directed Partial Evaluation for Dynamically-Typed Languages – Eijiro Sumii, Naoki Kobayashi - 1999
9 The Second Futamura Projection for Type-Directed Partial Evaluation – Bernd Grobauer, Zhe Yang - 1999
12 A self-applicable partial evaluator for the lambda calculus – Neil D. Jones, Carsten K. Gomard, Peter Sestoft - 1990
1 Axioms for Control Operators in the CPS Hierarchy ∗ – Yukiyoshi Kameyama
2 Lifted inference: normalizing loops by evaluation – Oleg Kiselyov, Chung-chieh Shan
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
1 The Guideline for the Accounting – Andrzej Filinski, Copyright C, Andrzej Filinski, Andrzej Filinski - 2003