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:=
-
Elementaire Statistiek – Cijfers in Lijnen [1969]
Van der Meer & Mandema
€49.90 🚗+4.90 in winkelmand -
Geheimtaal en Decodering – Wiskundigen, Spionnen en Hackers
Joan Gómez
€15.00 🚗+4.90 in winkelmand -
Pocketwoordenboek Nederlands Duits
Van Dale
€3.90 🚗+4.90 in winkelmand -
Discovering Statistics Using IBM SPSS
Andy Field
€39.90 🚗+4.90 in winkelmand -
The UNIX Programming Environment
Brian W. Kernighan & Rob Pike
€99.00 🚗+4.90 in winkelmand -
Bringing Technology and Innovation into the Boardroom
EITIM
€24.90 🚗+4.90 in winkelmand -
Philosophy – the Concept and its Manifestations
Nathan Rotenstreich
€69.90 🚗+4.90 in winkelmand -
Type-driven Development with Idris
Edwin Brady
€29.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 -
The Holland Handbook
Stephanie Dijkstra
€4.00 🚗+4.90 in winkelmand -
Statistical Methods for the Social Sciences
Alan Agresti
€24.90 🚗+4.90 in winkelmand -
3-delig Groot Woordenboek Nederlandse Taal (Dikke Van Dale)
G. Geerts
€25.00 🚗+4.90 in winkelmand -
![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 -
The Go Programming Language
Alan Donovan & Brian Kernighan
€27.50 🚗+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 -
Flawless Consulting
Peter Block
€14.90 🚗+4.90 in winkelmand -
Zoeken naar Oplossingen – Methodologie
Paul Delnooz & Vincent Platenkamp
€29.90 🚗+4.90 in winkelmand -
Open voor Business
Jaap Bloem & Menno van Doorn
€3.90 🚗+4.90 in winkelmand -
Image Building in the Information Governance Discourse
Peter Beijer
€4.90 🚗+4.90 in winkelmand -
Lions’ Commentary on UNIX
John Lions
€49.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 -
![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 -
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 -
CSS Pocket Reference
Eric A. Meyer
€3.90 🚗+4.90 in winkelmand -
Filosofische Oriëntatie
C. A. van Peursen
€4.50 🚗+4.90 in winkelmand -
EMERCE eGuide 2020
Gijs Vroom
€25.00 🚗+4.90 in winkelmand -
Brieven & Contracten
mr. Wim van Amelsfoort
€7.50 🚗+4.90 in winkelmand -
Absolute OpenBSD – UNIX [2nd Edition]
Michael W. Lucas
€24.90 🚗+4.90 in winkelmand -
Koplopers
Inge Hardeman
€3.50 🚗+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
