Code: 19364613

Little Typer

Name: Little Typer
Brand: MIT Press Ltd
SKU: 19364613
Price: 67.11 EUR
Availability: InStock
Author: Friedman
ISBN: 9780262536431

by Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen

Trending

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

Language: English
Binding: Paperback
Number of pages: 424
Publisher: MIT Press Ltd, 2018
More about this

67.11 €

Low in stock at our supplier
Shipping in 12 - 17 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

The Ballad of Never After
11.04 € -18 %
Buy
One Dark Window
11.95 € -16 %
Buy
The Long Game
12.15 € -10 %
Buy
Role Model
12.65 € -6 %
Buy
The Deal
8.33 € -56 %
Buy
86 - EIGHTY SIX, Vol. 1 (light novel)
12.75 € -23 %
Buy
The Noma Guide to Fermentation
31.04 € -24 %
Buy
Common Goal
12.15 € -10 %
Buy
When the Moon Hatched
11.24 € -21 %
Buy
Thinking In Bets
15.76 € -25 %
Buy
Solo Leveling, Vol. 12 (Comic)
15.66 € -22 %
Buy
High Output Management
16.77 € -20 %
Buy
Scum Villain's Self-Saving System: Ren Zha Fanpai Zijiu Xitong (Novel) Vol. 1
15.36 € -28 %
Buy
Paddington Little Library
7.63 € -24 %
Buy
The Lies of Locke Lamora
10.84 € -29 %
Buy
One Piece (Omnibus Edition), Vol. 29
12.95 € -25 %
Buy
Harry Potter and the Philosopher's Stone
37.06 € -29 %
Buy
Ego is the Enemy
11.04 € -27 %
Buy
Complete Swedish Beginner to Intermediate Course
32.64 € -25 %
Buy
Open
10.74 € -29 %
Buy
Swordheart
11.24 € -26 %
Buy
Children's Picturebooks Second Edition
35.05 € -9 %
Buy
Skin in the Game
10.04 € -29 %
Buy
The House Witch
13.86 € -24 %
Buy
Jiu-jitsu University
33.35 € -24 %
Buy
100 Deadly Skills: Survival Edition
18.78 € -18 %
Buy
Animator's Survival Kit
41.28 € -25 %
Buy
Medical Medium Brain Saver Protocols, Cleanses & Recipe
39.37 € -11 %
Buy
The Power of Now
15.97 € -2 %
Buy
The Overstory
10.54 € -9 %
Buy
Soccermatics
10.74 € -29 %
Buy
THE NOTEBOOK
14.96 € -12 %
Buy
Clash of Kings: The Illustrated Edition
34.05 € -33 %
Buy
Daily Painting
18.58 € -25 %
Buy
Court
11.34 € -20 %
Buy
Family of Man
23.90 € -30 %
Buy
Something Like An Autobiography
13.65 € -28 %
Buy
Robotics, Vision and Control
67.31 €
Buy
John Howe's Ultimate Fantasy Art Academy
19.98 € -25 %
Buy
Echo Burning
13.05 € -5 %
Buy
Navigate: Elementary A2: Coursebook with DVD and Online Skills
33.35 € -7 %
Buy
Proficiency Masterclass Third Edition Student's Book with Online Skills
41.89 € -7 %
Buy
Python Crash Course, 3rd Edition
34.45 € -29 %
Buy
Perfect Pocket Puzzles: Sudoku
7.83 € -22 %
Buy
Avatar: The Last Airbender - Smoke and Shadow Omnibus
18.38 € -27 %
Buy
RYA Day Skipper Handbook - Sail
25.81 € -14 %
Buy
A Touch of Ruin
10.44 € -26 %
Buy
IELTS Vocabulary Masterclass 8.5. Master Phrasal Verbs, Essay Vocabulary, Graph Vocabulary & Speaking Vocabulary
21.29 € -7 %
Buy
Great Gatsby
7.43 € -32 %
Buy
How to Solve It
15.76 € -25 %
Buy
Short Stories in Norwegian for Beginners
17.07 €
Buy
Infinite Powers: How Calculus Reveals the Secrets of the Universe
15.06 € -25 %
Buy
How to Prove It
47.01 €
Buy
Garden Sounds
15.16 € -11 %
Buy
Intuitive Eating, 4th Edition
15.06 € -25 %
Buy
Overlord, Vol. 13
15.06 € -25 %
Buy
Angel Answers Oracle Cards
17.17 € -25 %
Buy
BEASTARS, Vol. 11
11.04 € -22 %
Buy
Joy of x
11.44 € -29 %
Buy
Banana Fish, Vol. 12
9.64 € -25 %
Buy
Work Your Light Oracle Cards
16.67 € -27 %
Buy
Wonder Woman by George Perez Vol. 1 (New Edition)
28.52 € -27 %
Buy
Star Wars - Book of Sith
17.57 € -26 %
Buy
Lore Olympus: Volume Six
20.89 € -29 %
Buy
Lackadaisy
17.97 € -15 %
Buy
Learning SQL
45.91 € -27 %
Buy
Drawing on the Right Side of the Brain Workbook
20.39 € -28 %
Buy
Queen of the Moon Oracle
17.97 € -27 %
Buy
What My Mother and I Don't Talk About
11.75 € -24 %
Buy
Turtles All the Way Down
9.33 € -34 %
Buy
Summer I Turned Pretty
10.14 € -25 %
Buy
Grand Chessboard
20.69 €
Buy
How Music Works
18.88 € -29 %
Buy
Egon Schiele. The Paintings.
29.73 €
Buy
Life Is Strange Vol. 1: Dust
13.65 € -25 %
Buy
Total Immersion
15.97 € -13 %
Buy
Blue Horses
10.74 € -29 %
Buy
Mythologia Fennica Tarot
21.49 € -27 %
Buy
Research Methods in Psychology
65.40 €
Buy
Aligner Systems in Invisible Orthodontics
100.06 € -9 %
Buy
Proofs from THE BOOK
60.17 € -9 %
Buy
Little Prover
45.40 € -20 %
Buy
Dimensions of Heritage and Memory
65.50 €
Buy
Algorithmic and High-Frequency Trading
84.19 €
Buy
Joy of X
12.45 € -32 %
Buy
Playground – A Novel
13.65 € -29 %
Buy
Black Prism
9.94 € -34 %
Buy
Little Schemer
48.72 €
Buy
U.S. Army Special Forces Guide to Unconventional Warfare
10.14 € -24 %
Buy
Invitation to Applied Category Theory
61.58 €
Buy
Reasoned Schemer
50.93 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 163 loyalty points

Book synopsis

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

Book details

Book category Books in English Computing & information technology Computer programming / software development Mobile & handheld device programming / Apps programming

67.11 €

Full title: Little Typer
Author: Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
Language: English
Binding: Paperback
Number of pages: 424
EAN: 9780262536431
ISBN: 9780262536431
ID: 19364613
Publisher: MIT Press Ltd
Weight: 666 g
Dimensions: 227 × 179 × 22 mm
Date of publishing: 18. September 2018