Books by Benjamin C. Pierce

There are currently 1 books on bookshulf written by Benjamin C. Pierce. Benjamin C. Pierce's books have been mentioned in N book lists including the following lists:

Benjamin C. Pierce's first book Types and Programming Languages was published in 2024. Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - ... In 2024 Benjamin C. Pierce wrote Types and Programming Languages, the most recent work.