D Sannella
9 published titles
Extended ML : past, present and future
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A kernel specification formalism with higher-order parameterisation
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Structuring specifications in-the-Large and in-the-Small : higher-order functions, dependent types and inheritance in SPECTRAL
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Toward formal development of programs from algebraic specifications : model-theoretic foundations
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Toward formal development of programs from algebraic specifications : parameterisation revisited
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Interfaces and extended ML
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
The definition of Extended ML
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
On behavioural abstraction and behavioural satisfaction in higher-order logic
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783662480533
- Springer
- 2015
- Details