|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
|
Copyright C
– By Ian Mason, Ian Mason, Carolyn Talcott
|
|
108
|
Equivalence in Functional Languages with Effects
– Ian Mason, Carolyn Talcott
- 1991
|
|
45
|
A Variable Typed Logic of Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
4
|
A First Order Logic of Effects
– Ian A. Mason
- 1996
|
|
15
|
Axiomatizing Operational Equivalence in the presence of Side Effects
– Ian Mason, Carolyn Talcott
- 1989
|
|
6
|
Program Transformations for Configuring Components
– Ian A. Mason, Carolyn L. Talcott
- 1991
|
|
26
|
References, Local Variables and Operational Reasoning
– Ian A. Mason, Carolyn L. Talcott
- 1992
|
|
7
|
A Theory of Classes for a Functional Language with Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
5
|
An Operational Logic of Effects
– Jacob Frost, Ian A. Mason
- 1996
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
12
|
Reasoning about Explicit and Implicit Representations of State
– Amr Sabry , John Field
- 1993
|
|
38
|
Categorical Models for Local Names
– Ian Stark
- 1996
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
101
|
Intuitionistic Reasoning about Shared Mutable Data Structure
– John C. Reynolds
- 2000
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
7
|
Call byName, Assignment and the Lambda Calculus
– Martin Odersky, Dan Rabin, Paul Hudak
- 1992
|
|
11
|
Reasoning about Programs with Effects
– Ian Mason, Carolyn Talcott
- 1990
|
|
1
|
Incremental lambda lifting: An exercise in almost-denotational semantics
– Gregory T. Sullivan, Mitchell Wand
- 1996
|
