Code: 19364613
Little Typer
by Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
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
45.02 €
RRP: 51.16 €
You save 6.14 €
In stock at our supplier
Shipping in 3 - 5 days
You might also like
-
Reasoned Schemer
49.63 € -
Differential Equations with Applications and Historical Notes
136.93 € -
Joy of x
14.73 € -10 % -
How to Solve It
17.18 € -19 % -
Infinite Powers: How Calculus Reveals the Secrets of the Universe
15.03 € -22 % -
How to Prove It
49.93 € -
Joy of X
12.27 € -23 % -
Proofs from THE BOOK
65.18 € -8 % -
Daily Painting
20.05 € -21 % -
Black Prism
9.81 € -24 % -
Family of Man
25.37 € -11 % -
Short Stories in Norwegian for Beginners
13.09 € -9 % -
IELTS Vocabulary Masterclass 8.5. Master Phrasal Verbs, Essay Vocabulary, Graph Vocabulary & Speaking Vocabulary
23.73 € -2 % -
What My Mother and I Don't Talk About
12.27 € -23 % -
Intuitive Eating, 4th Edition
15.75 € -23 % -
Queen of the Moon Oracle
20.25 € -23 % -
Sketch with Asia
28.03 € -21 % -
Angel Answers Oracle Cards
19.74 € -8 % -
Peppa Pig: Peppa the Mermaid
7.97 € -22 % -
The Deal
14.83 € -19 % -
Thinking In Bets
17.70 € -17 % -
86 - EIGHTY SIX, Vol. 1 (light novel)
14.22 € -8 % -
Ariana Grande
22.61 € -
ASP.NET Core 5 and Angular
91.79 € -
Glucose Goddess Method: A 4-Week Guide to Cutting Cravings, Getting Your Energy Back, and Feeling Amazing
30.18 € -16 % -
The Stolen Heir
18.72 € -23 % -
Medical Medium Brain Saver Protocols, Cleanses & Recipe
38.27 € -17 % -
Every Pill I Took: 2000-2001
21.58 € -
Fire Heart
39.19 € -
A Touch of Ruin
9.41 € -21 % -
Avatar: The Last Airbender - Smoke and Shadow Omnibus
23.02 € -12 % -
Koolhaas. Countryside. A Report
21.28 € -
John Howe's Ultimate Fantasy Art Academy
23.94 € -16 % -
Overlord, Vol. 13
20.46 € -4 % -
BEASTARS, Vol. 11
12.58 € -13 % -
Pokemon: Super Extra Deluxe Essential Handbook
13.50 € -17 % -
Egon Schiele. The Paintings.
25.37 € -
Jasper Vale
25.37 € -
Eat That Frog!
12.27 € -23 % -
Paddington Little Library
9 € -13 % -
How Music Works
18.31 € -
The Power of Now
12.78 € -24 % -
The Lies of Locke Lamora
11.55 € -20 % -
Secret of Perfect Vision
20.77 € -14 % -
The Silmarillion
21.99 € -14 % -
The Steampunk Tarot
32.74 € -1 % -
Environmental Policy and Fiscal Federalism - Selected Essays of Wallace E. Oates
165.89 € -10 % -
Wisdom of Hypatia
25.27 € -3 % -
The House Witch
14.42 € -23 % -
Something Like An Autobiography
15.65 € -19 % -
Fifty Shades of Jamie Dornan
18.11 € -
Grokking Algorithms
60.89 € -
Work Your Light Oracle Cards
22.40 € -4 % -
Time Machine
27.62 € -
How to Tell If Your Cat Is Plotting to Kill You
12.37 € -15 % -
100 Deadly Skills: Survival Edition
21.18 € -1 % -
Finale
21.99 € -6 % -
Summer I Turned Pretty
13.09 € -
Diary in the Strict Sense of the Term
51.16 € -
Star Wars - Book of Sith
18.72 € -23 % -
Grand Chessboard
22.71 € -
Secret Lives of Colour
19.84 € -30 % -
Categories for the Working Mathematician
84.32 € -
Open
16.57 € -
RYA Day Skipper Handbook - Sail
24.96 € -14 % -
CUANDO NO QUEDEN MAS ESTRELLAS QUE CONTAR
18.92 € -5 % -
Naruto 1
7.26 € -5 % -
Das Unbehagen in der Kultur
6.95 € -
Cet hiver - Une novella dans l'univers de Heartstopper
18.92 € -
Amiens. La Cathédrale Notre-Dame (Nouvelle édition)
16.88 €
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.
More about Little Typer
You get 111 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
45.02 €
- 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
Trending among others
-
Unity Game Development Cookbook
53.01 € -21 % -
Inside the Android OS
46.97 € -7 % -
Apache Maven Cookbook
57.61 € -
Android Programming
56.69 € -
Android Security Internals
52.19 € -23 % -
App Inventor 2, 2e
38.78 € -6 % -
Building Mobile Applications with Java
26.19 € -
Learning Android
34.17 € -6 % -
Beginning Android Programming with Android Studio
38.78 € -6 % -
Kotlin Programming
51.27 € -4 % -
Pro Android with Kotlin
58.53 € -3 % -
Hacking Android
59.04 € -
Programming Flutter
41.95 € -23 % -
Practical Flutter
53.72 € -4 % -
Pro Android C++ with the NDK
64.57 € -
Hello! App Inventor
51.98 € -
Delphi Cookbook -
66 € -
Pro Android 5
61.19 € -13 % -
Android Programming
45.74 € -
Advanced Android Application Development
37.35 € -40 % -
Practical Android
44.61 € -12 % -
Xamarin Mobile Application Development
86.98 € -4 % -
Beginning NFC
33.66 € -
Gradle for Android
38.37 € -
Kotlin for Android App Development
49.32 € -
Android Design Patterns and Best Practice
59.04 € -
Building Android Apps with HTML, CSS and JavaScript, 2e
38.78 € -6 % -
Apple Pay Essentials
40.31 € -
Sams Teach Yourself Java in 21 Days (Covers Java 11/12)
44.20 € -4 % -
Learn Java for Android Development
96.60 € -3 % -
Developing Android Applications with Adobe AIR
50.55 € -
Learn Android Studio 3 with Kotlin
58.53 € -3 % -
Expert Android Programming
59.04 € -
Android Recipes
49.01 € -3 % -
Mastering Android NDK
66 € -
jQuery Mobile
34.17 € -6 % -
Build Location-Based Projects for iOS
34.58 € -
Flutter for Beginners
47.38 € -
Developing Inclusive Mobile Apps
53.72 € -4 % -
Little Prover
52.90 € -2 % -
Learn Android Studio
64.57 € -
Android System Programming
59.04 € -
Android Development with Kotlin
59.04 € -
Professional NFC Application Development for Android
45.74 € -
Android App Development For Dummies 3e
34.69 € -3 % -
Definitive Guide to Firebase
77.57 € -3 % -
Android Cookbook, 2e
87.19 € -
Learning Android Google Maps
66 € -
Expert Android
64.57 €
Shopping guide
Books by language
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)