- Program Transformations for Configuring Components Ian A. Mason & Carolyn L. Talcott
- Establishing a General Context Lemma in PVS Jonathan Ford & Ian A. Mason
- Program Transformation via Contextual Ian A. Mason and Carolyn Talcott
- Towards a Theory of Actor Computation (Extended Abstract)
- Axiomatizing Operational Equivalence in the presence of Side Effects Ian A. Mason \Lambda
- Inferring the Equivalence of Functional Programs that Mutate Data
- Section 0 : Introduction. In this paper we investigate the first order metatheory of the classical propositional logic. In the first
- Parametric Computation Proofs Ian A. Mason
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- Hoare's Logic in the LF Ian A. Mason
- CATS '01 Preliminary Version Operational Techniques in PVS --A Preliminary
- From Operational Semantics to Domain Theory Ian A. Mason \Lambda
- HigherOrder and Symbolic Computation, ?, 1--30 (199?) fl 199? Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Parallel List Mapping Operations Ian A. Mason, Joseph D. Pehoushek, Carolyn Talcott, Joseph S. Weening
- METAMATHEMATICS OF CONTEXTS Sasa Buvac
- WRLA 2000 Preliminary Version Simple Network Protocol Simulation within
- Programming, Transforming, and Proving with Function Abstractions and Memories
- FEFERMANLANDIN LOGIC IAN A. MASON AND CAROLYN L. TALCOTT
- A Theory of Classes for a Functional Language with Effects Furio Honsell
- An Operational Logic of Effects Jacob Frost
- Reasoning about programs with effects Stanford University
- Parametric Computation Ian A. Mason
- Propositional Logic of Context Sasa Buvac & Ian A. Mason
- Using Typed Lambda Calculus to Implement Formal Systems on a Machine
- An Overview of the Edinburgh Logical Framework Arnon Avron, Furio Honsell and Ian A. Mason
- Reasoning about Object Systems in VTLoE Department of Applied Computing and Mathematics
- Actor Languages Their Syntax, Semantics, Translation, and Equivalence
- The Semantics of Propositional Contexts Sasa Buvac, 1 Vanja Buvac, 2 and Ian A. Mason 3
- Equivalence in Functional Languages with Effects Stanford University
- A First Order Logic of Effects Ian A. Mason \Lambda
- A Variable Typed Logic of Effects Furio Honsell
- A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory y