S Thiemann

Suggest Changes
Learn More
We present a binding-time analysis for Scheme which enables an ooine partial evaluator to successfully treat Scheme's reeective features eval, apply, and the control operator call/cc. Additionally,(More)