A Tutorial on Co-induction and Functional Programming (1994)

by Andrew D. Gordon
Venue:IN GLASGOW FUNCTIONAL PROGRAMMING WORKSHOP
Citations:27 - 1 self

Active Bibliography

20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
2 Bisimilarity for the region calculus – Simon Helsen
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
Higher Order Operationational Techniques in Semantics - Introduction – A. D. Gordon, A. M. Pitts (Eds)
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
Observational Program Calculi and the Correctness of Translations – Manfred Schmidt-schauss, David Sabel, Joachim Niehren, Jan Schwinghammer - 2013
Observational Program Calculi and the Correctness of Translations – unknown authors
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
9 A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation – Alan Jeffrey - 1994
32 Reasoning about local variables with operationally-based logical relations – Andrew M. Pitts - 1996
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997