S. Sokołowski
3 published titles
Applicative high order programming : the standard ML perspective
1 edition
- ISBN: 0442308388
- Chapman & Hall Computing
- 1991
- Details
An introduction to programming with specifications : a mathematical approach
(Contributor)
1 edition
- ISBN: 0124276202
- Academic
- 1991
- Details
Toward formal development of programs from algebraic specifications : parameterisation revisited
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
