Programming language theory and its implementation : applicative and imperative paradigms
Michael J. C. Gordon · Medical Entomology and Zoology · 1988
This volume introduces and explores those parts of programming language theory that have important applications in improving the quality of software. Provides an elementary introduction to Floyd-Hoare logic and Calculus, Combinators and Functional Programming.