Proceedings of the 24th International Conference on Software Engineering
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
A first-order one-pass CPS transformation
Theoretical Computer Science
CPS transformation of beta-redexes
Information Processing Letters
On the static and dynamic extents of delimited continuations
Science of Computer Programming
The semantics of graphical languages
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A Gentle Introduction to Multi-stage Programming, Part II
Generative and Transformational Techniques in Software Engineering II
CPS transformation of beta-redexes
Information Processing Letters
Hi-index | 0.00 |