home
>
book reviews
> Samuel H. Valentine
Google >
Samuel H. Valentine
author : Samuel H. Valentine
Short works
Z--, an Executable Subset of Z. 1992.
(In
6th Z User Workshop
)
Putting Numbers into the Mathematical Toolkit. 1993.
(In
7th Z User Workshop
)
Equal Rights for schemas in Z. 1995.
(In
ZUM '95
)
Inconsistency and Undefinedness in Z - A Practical Guide. 1998.
(In
ZUM '98
)
On Mutually Recursive Free Types in Z. 2000.
(In
ZB 2000
)
Typechecking Z. 2000.
(In
ZB 2000
)
Typeconstrained Generics for Z. 2000.
(In
ZB 2000
)