106

Proving congruence of bisimulation in functional programming languages
–
 1996

111

Equivalence in Functional Languages with Effects
–
 1991

121

Bisimilarity as a theory of functional programming
–
 1999

110

Operational Reasoning for Functions With Local State
–

105

Functional Programming and Input/Output
–
 1993

128

Lambda Calculus Models of Programming Languages
–
 1968

733

Notions of Computation and Monads
–
 1991

240

The Lazy Lambda Calculus
–
 1990

48

A Variable Typed Logic of Effects
–
 1993

32

Reasoning about local variables with operationallybased logical relations
–
 1996

1289

A Structural Approach to Operational Semantics
–
 1981

23

Operational equivalences for untyped and polymorphic object calculi
–
 1998

43

Bisimilarity for a FirstOrder Calculus of Objects with Subtyping
–
 1996

222

A Foundation for Actor Computation
–
 1998

83

Control operators, the SECD machine and the calculus
–
 1986

20

Relational Reasoning about Contexts
–
 1998

1566

The Definition of Standard ML
–
 1990

26

Inferring the Equivalence of Functional Programs that Mutate Data
–
 1992

75

Operationallybased theories of program equivalence
–
 1997
