&lgr;-V-CS: an extended &lgr;-calculus for scheme
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Models of continuations without continuations
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sound rules for parallel evaluation of a functional language callcc
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A library of high level control operators
ACM SIGPLAN Lisp Pointers
The semantics of Scheme with future
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
ACM SIGPLAN Lisp Pointers
Shifting the stage: staging with delimited control
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Properties of Java Simple Closures
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.00 |