Active Bibliography

680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
5 The Scheme of Things: Implementing Lexically Scoped Macros – Jonathan Rees - 1993
14 Expansion-Passing Style: A General Macro Mechanism – R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes - 1988
Linguistic Reuse – D. Cooper, John E. Dennis, Shriram Krishnamurthi, Shriram Krishnamurthi - 2001
Expansion-Passing Style: A General Macro Mechanism – R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes - 1986