The Implementation of Functional Programming Languages (1987)
4 hours ago
- #Graph Reduction
- #Lambda Calculus
- #Functional Programming
- Book title: 'The Implementation of Functional Languages' by Simon Peyton Jones, co-authored by Philip Wadler, Peter Hancock, and David Turner.
- Focus: Implementing functional programming languages using lazy graph reduction.
- Part 1: Translating high-level functional languages into the lambda calculus, covering pattern-matching and type-checking.
- Part 2: Simple implementation of lambda calculus via graph reduction, followed by refinements and alternatives.
- Part 3: Introduction of the G-machine for sophisticated graph reduction, significantly boosting performance.