Martin Hofmann
4 published titles
An abstract view of objects and subtyping (preliminary report)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Formal development of functional programs in type theory : a case study
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Positive subtyping
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
On behavioural abstraction and behavioural satisfaction in higher-order logic
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
