From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
Uniform confluence in concurrent computation
Journal of Functional Programming
The call-by-need lambda calculus
Journal of Functional Programming
The call-by-need lambda calculus
Journal of Functional Programming
Hi-index | 0.00 |