Howard S. Goodman

Learn More
A new method of writing Haskell programs from Z specifications is proposed, whose use is illustrated elsewhere (Goodman, 1995). This method can be regarded as a kind of 'tool-kit', consisting essentially of three discrete parts: a set of high-level guidelines for the programmer; a framework for handling input/output and state; and a set of lower-level(More)
  • 1