You May Also Like
Sponsored
Sold by Mighty Ape
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigour, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.
We are committed to protecting your rights under the Consumer Guarantees Act and working with our suppliers to assist with warranty claims. Products sold by Mighty Ape will be covered by a Manufacturer's Warranty for at least a one-year period from the date of purchase.
Your warranty will cover any manufacturing defects which, if existing, will present themselves within this warranty period.
Your warranty will not cover normal wear and tear, faults caused by misuse, and accidents which cause damage or theft caused after delivery. Using the product in a way it is not designed for will void your warranty.
Please refer to our Help Centre for more information.
Save with Primate
Earn $2.48 Points Credit*
Exclusive Deals
Mighty Ape Travel discount
^FREE 14 day trial. Primate will be charged $89 / 365 days after free trial, cancel anytime. Delivery benefits available in selected postcodes only. †*T&Cs apply, click for details.
