- Source: Types and Programming Languages
Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems published in 2002.
A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."
References
External links
Official website
Kata Kunci Pencarian:
- Go (bahasa pemrograman)
- Ada (bahasa pemrograman)
- C Sharp (bahasa pemrograman)
- Tipe data abstrak
- Haskell
- Windows PowerShell
- JavaScript
- Kotlin (bahasa pemrograman)
- Mesin finite-state
- Types and Programming Languages
- Strong and weak typing
- List of programming languages by type
- Type system
- Programming language
- Dependent type
- Programming language theory
- Dynamic programming language
- Type safety
- Functional programming
Godzilla vs. Kong (2021)
Kingdom of the Planet of the Apes (2024)
Sicario: Day of the Soldado (2018)
War for the Planet of the Apes (2017)
Dawn of the Planet of the Apes (2014)
Rise of the Planet of the Apes (2011)
No More Posts Available.
No more pages to load.