A Syntactic Theory of Dynamic Binding (1997)

Cached

Download Links

by Luc Moreau
Venue:Higher-Order and Symbolic Computation
Citations:33 - 1 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
Continuations in Programming Practice: – unknown authors
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
550 Cilk: An Efficient Multithreaded Runtime System – Robert D. Blumofe , Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, Yuli Zhou - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998