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