Relational Reasoning about Functions and Nondeterminism (1998)

by Søren Bøgh Lassen , Søren Bøgh Lassen
Citations:31 - 4 self

Documents Related by Co-Citation

112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
109 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
37 Typed operational reasoning – Andrew Pitts - 2004
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
395 LCF considered as a programming language – G Plotkin - 1977
11 Call-by-name, call-by-need, and McCarthy’s Amb – A Moran - 1998
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
10 Improvement Theory and its Applications – David Sands - 1997
76 Operationally-based theories of program equivalence – Andrew Pitts - 1997
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
7 Programming Languages: Design, Analysis, and Semantics – Anders B. Sandholm, Anders B. S - 2000
7 Troels Hildebrandt. Categorical Models for Concurrency: Independence, Fairness and Dataflow. February 2000 – DS-00-1 Thomas
3 Presheaf Models for Concurrency (Unrevised – DS-99-1 Gian Luca Cattani - 1999
8 Reasoning about Reactive Systems – Kim Sunesen, Kim Sunesen - 1998