Active Bibliography

578 Term Rewriting Systems – J. W. Klop - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
728 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
384 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984