|
6
|
Program Transformations for Configuring Components
– Ian A. Mason, Carolyn L. Talcott
- 1991
|
|
|
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
|
|
24
|
Inferring the Equivalence of Functional Programs that Mutate Data
– Ian Mason, Carolyn Talcott
- 1992
|
|
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
|
|
37
|
Assignments for applicative languages
– Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North
- 1991
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
1
|
Sparse Polynomials and Linear Logic
– Henry G. Baker
- 1993
|
|
91
|
Lively Linear Lisp - 'Look Ma, No Garbage!'
– Henry G. Baker
- 1992
|
|
6
|
Names, Equations, Relations: Practical Ways to Reason about new
– Ian Stark, Ian Stark
- 1996
|
|
7
|
Safe and flexible objects with subtyping
– Lorenzo Bettini, Viviana Bono Silvia Likavec
- 2005
|
|
1
|
Safe Object Composition in the Presence of Subtyping
– Lorenzo Bettini, Viviana Bono, Silvia Likavec
- 2005
|
|
5
|
A Core Calculus of Higher-Order Mixins and Classes
– Lorenzo Bettini, Viviana Bono, Silvia Likavec
|
|
9
|
Plan in Maude: Specifying an Active Network Programming Language
– Mark-Oliver Stehr, Carolyn L. Talcott
- 2002
|
