The Little Typer
⭐⭐⭐⭐⭐
Friedman & Christiansen
€34.50 🚗+4.90
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program’s type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe.
The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning.
Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming.
Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
★ zelf ophalen in Amsterdam: gratis
Uitverkocht
Mail me wanneer dit boek weer op voorraad is
=ONZE TIPS:=
-
![Data Protection on the Move [2016]](https://www.teszilla.com/retroscoop/wp-content/uploads/Data-Protection-on-the-Move-Gutwirth-2016-324x324.jpg "Data Protection on the Move [2016]")
Data Protection on the Move [2016]
Gutwirth, Leenes & Hert
€72.50 🚗+4.90 in winkelmand -
End-User Programming of Ambient Narratives
Mark van Doorn
€3.90 🚗+4.90 in winkelmand -
Digital Delirium
Arthur & Marilouise Kroker
€25.00 🚗+4.90 in winkelmand -
Brieven & Contracten
mr. Wim van Amelsfoort
€7.50 🚗+4.90 in winkelmand -
Philosophy – the Concept and its Manifestations
Nathan Rotenstreich
€69.90 🚗+4.90 in winkelmand -
Filosofische Oriëntatie
C. A. van Peursen
€4.50 🚗+4.90 in winkelmand -
Image Building in the Information Governance Discourse
Peter Beijer
€4.90 🚗+4.90 in winkelmand -
EMERCE eGuide 2020
Gijs Vroom
€25.00 🚗+4.90 in winkelmand -
The UNIX Programming Environment
Brian W. Kernighan & Rob Pike
€99.00 🚗+4.90 in winkelmand -
Zoeken naar Oplossingen – Methodologie
Paul Delnooz & Vincent Platenkamp
€29.90 🚗+4.90 in winkelmand -
Statistical Methods for the Social Sciences
Alan Agresti
€24.90 🚗+4.90 in winkelmand -
![Het 1,2,3 van de economie [1969] - Schöndorff](https://www.teszilla.com/retroscoop/wp-content/uploads/Het-123-van-de-economie-1969-Schondorff-1-324x324.jpg "Het 1,2,3 van de Economie [1969]")
Het 1,2,3 van de Economie [1969]
R. Schöndorff
€50.00 🚗+4.90 in winkelmand -
Absolute OpenBSD – UNIX [2nd Edition]
Michael W. Lucas
€24.90 🚗+4.90 in winkelmand -
Type-driven Development with Idris
Edwin Brady
€29.90 🚗+4.90 in winkelmand -
CSS Pocket Reference
Eric A. Meyer
€3.90 🚗+4.90 in winkelmand -
Elementaire Statistiek – Cijfers in Lijnen [1969]
Van der Meer & Mandema
€49.90 🚗+4.90 in winkelmand -
Bringing Technology and Innovation into the Boardroom
EITIM
€24.90 🚗+4.90 in winkelmand -
![The Chicago Manual of Style [16th] - University of Chicago Press Staff](https://www.teszilla.com/retroscoop/wp-content/uploads/517iuAGZ0rL-324x324.jpg "The Chicago Manual of Style [16th Ed.]")
The Chicago Manual of Style [16th Ed.]
University of Chicago Press Staff
€49.90 🚗+4.90 in winkelmand -
Geheimtaal en Decodering – Wiskundigen, Spionnen en Hackers
Joan Gómez
€15.00 🚗+4.90 in winkelmand -
Discovering Statistics Using IBM SPSS
Andy Field
€39.90 🚗+4.90 in winkelmand -
Lions’ Commentary on UNIX
John Lions
€49.90 🚗+4.90 in winkelmand -
Pocketwoordenboek Nederlands Duits
Van Dale
€3.90 🚗+4.90 in winkelmand -
The Holland Handbook
Stephanie Dijkstra
€4.00 🚗+4.90 in winkelmand -
Flawless Consulting
Peter Block
€14.90 🚗+4.90 in winkelmand -
Koplopers
Inge Hardeman
€3.50 🚗+4.90 in winkelmand -
The Go Programming Language
Alan Donovan & Brian Kernighan
€27.50 🚗+4.90 in winkelmand -
![Evaluating Training Programs - The Four Levels [Third Edition] - Kirkpatrick](https://www.teszilla.com/retroscoop/wp-content/uploads/550x832-324x324.jpg "Evaluating Training Programs - The Four Levels [Third Edition]")
Evaluating Training Programs – The Four Levels [Third Edition]
Donald & James Kirkpatrick
€35.00 🚗+4.90 in winkelmand -
3-delig Groot Woordenboek Nederlandse Taal (Dikke Van Dale)
G. Geerts
€25.00 🚗+4.90 in winkelmand -
Open voor Business
Jaap Bloem & Menno van Doorn
€3.90 🚗+4.90 in winkelmand -
![La Philosophie de Pascal II - E. Baudin [1947]](https://www.teszilla.com/retroscoop/wp-content/uploads/5716435271-258x324.jpg "La Philosophie de Pascal II [1947]")
La Philosophie de Pascal II [1947]
Emile Baudin
€15.00 🚗+4.90 in winkelmand
=NET BINNEN:=
Resultaat 1–9 van de 30 resultaten wordt getoondGesorteerd op nieuwste
Shop
Resultaat 1–9 van de 30 resultaten wordt getoondGesorteerd op nieuwste
-
Digital Delirium
Arthur & Marilouise Kroker
€25.00 🚗+4.90 in winkelmand -
Flawless Consulting
Peter Block
€14.90 🚗+4.90 in winkelmand -
Geheimtaal en Decodering – Wiskundigen, Spionnen en Hackers
Joan Gómez
€15.00 🚗+4.90 in winkelmand -
Elementaire Statistiek – Cijfers in Lijnen [1969]
Van der Meer & Mandema
€49.90 🚗+4.90 in winkelmand -
Brieven & Contracten
mr. Wim van Amelsfoort
€7.50 🚗+4.90 in winkelmand -
CSS Pocket Reference
Eric A. Meyer
€3.90 🚗+4.90 in winkelmand -
Zoeken naar Oplossingen – Methodologie
Paul Delnooz & Vincent Platenkamp
€29.90 🚗+4.90 in winkelmand -
Het 1,2,3 van de Economie [1969]
R. Schöndorff
€50.00 🚗+4.90 in winkelmand -
Statistical Methods for the Social Sciences
Alan Agresti
€24.90 🚗+4.90 in winkelmand
Resultaat 1–9 van de 30 resultaten wordt getoondGesorteerd op nieuwste
Resultaat 1–9 van de 30 resultaten wordt getoondGesorteerd op nieuwste
