LFCS reports by Author: O
- O'Hearn, Peter W
-
- Semantics of Local Variables
R D Tennent and O'Hearn
LFCS report ECS-LFCS-92-192
- Relational Parametricity and Local Variables
P W O'Hearn and R D Tennent
LFCS report ECS-LFCS-92-223
- Semantics of Local Variables
- Ore, Christian-Emil
-
- On Natural deduction style semantics, environments and
stores
Christian-Emil Ore
LFCS report ECS-LFCS-89-88
- On Natural deduction style semantics, environments and
stores
- Owens, Christopher
-
- Proving Correctness of Modular Functional Programs
Christopher Owens
LFCS report ECS-LFCS-99-416
- Proving Correctness of Modular Functional Programs