Programming Language Concepts

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavor, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. It also includes more advanced topics on polymorphic types, type inference using unification, co- and contravariant types, continuations, and backwa...