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