Andrzej Tarlecki
7 published titles
Extended ML : past, present and future
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A kernel specification formalism with higher-order parameterisation
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Toward formal development of programs from algebraic specifications : model-theoretic foundations
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Toward formal development of programs from algebraic specifications : parameterisation revisited
(Contributor)
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
Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL
(Contributor)
1 edition
- ISBN: 3540230246
- Springer
- 2004
- Details
FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540278825
- Springer
- 2005
- Details
