Menu

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

obnb.uk is a Good Stuff website.