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 flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type check...

Full description

Bibliographic Details
Main Author: Sestoft, Peter (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:2nd ed. 2017.
Series:Undergraduate Topics in Computer Science,
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Introduction
  • Interpreters and Compilers
  • From Concrete Syntax to Abstract Syntax
  • A First-Order Functional Language
  • Higher-Order Functions
  • Polymorphic Types
  • Imperative Languages
  • Compiling Micro-C
  • Real-World Abstract Machines
  • Garbage Collection
  • Continuations
  • A Locally Optimizing Compiler
  • Compiling Micro-SML
  • Real Machine Code
  • A Crash Course in F#.