P. W. O'Hearn
2 published titles
Relational parametricity and local variables (preliminary report)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Semantics of local variables
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
