CPS-transformation after strictness analysis
ACM Letters on Programming Languages and Systems (LOPLAS)
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ALPHA—An Automatic Programming System of High Efficiency
Journal of the ACM (JACM)
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
The structure of yet another ALGOL compiler
Communications of the ACM
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Scheme: A Interpreter for Extended Lambda Calculus
Higher-Order and Symbolic Computation
A new approach to teaching a first course in compiler construction
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Array processing on an array processor
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
On orthogonality in programming languages
ACM SIGPLAN Notices
Journal of Functional Programming
On the call-by-value CPS transform and its semantics
Information and Computation
History of programming languages I
AFIPS '66 (Spring) Proceedings of the April 26-28, 1966, Spring joint computer conference
Functional Extensions to the Boost Metaprogram Library
Electronic Notes in Theoretical Computer Science (ENTCS)
LASER: a scalable response prediction platform for online advertising
Proceedings of the 7th ACM international conference on Web search and data mining
| Hi-index | 48.23 |