|
108
|
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
|
|
33
|
Relational interpretations of recursive types in an operational setting
– Lars Birkedal, Robert Harper
- 1997
|
|
102
|
Proving congruence of bisimulation in functional programming languages
– Douglas J. Howe
- 1996
|
|
31
|
Typed operational reasoning
– Andrew Pitts
- 2004
|
|
102
|
Functional programming and input/output
– A D Gordon
- 1994
|
|
31
|
Improvement in a Lazy Context: An Operational Theory for Call-By-Need
– Andrew Moran, David Sands
- 1999
|
|
101
|
Operational Reasoning for Functions With Local State
– Andrew Pitts, Ian Stark
|
|
363
|
LCF considered as a programming language
– G D Plotkin
- 1977
|
|
11
|
Call-by-name, call-by-need, and McCarthy’s Amb
– A Moran
- 1998
|
|
105
|
G.: A fully abstract game semantics for general references
– S Abramsky, K Honda, McCusker
- 1998
|
|
9
|
Improvement Theory and its Applications
– David Sands
- 1997
|
|
73
|
Operationally-based theories of program equivalence
– Andrew Pitts
- 1997
|
|
166
|
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
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
