By: Daniel P. Friedman, David Thrane Christiansen, Robert Harper, Conor McBride

The Little Typer (Mit Press)

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 a

Read Now Learn More * eBook includes iBooks, PDF & ePub versions
The Little Typer (Mit Press)
bg
img
img
img
img
shape
shape

Similar Books

The Magick of Food: Rituals, Offerings & Why We Eat Together
  • Gwion Raven

The Magick of Food: Rituals, Offerings & Why We Eat Together

The SIS Football Rookie Handbook 2020
  • Matt Manocherian

The SIS Football Rookie Handbook 2020

Harley Merlin and the Broken Spell (Harley Merlin, #5)
  • Bella Forrest

Harley Merlin and the Broken Spell (Harley Merlin, #5)

Medical-Surgical Nursing - 2-Volume Set: Assessment and Management of Clinical Problems
  • Sharon Mantik Lewis, Linda Bucher, Margaret McLean Heitkemper, Mariann M. Harding, Jeffrey Kwong, Dottie Roberts

Medical-Surgical Nursing - 2-Volume Set: Assessment and Management of Clinical Problems

The Name of the Rose
  • Umberto Eco, Seán Barrett, Nicholas Rowe, Neville Jason, William Weaver

The Name of the Rose

Princeton Review AP English Language & Composition Premium Prep, 2022: 7 Practice Tests + Complete Content Review + Strategies & Techniques (2022) (College Test Preparation)
  • The Princeton Review

Princeton Review AP English Language & Composition Premium Prep, 2022: 7 Practice Tests + Complete Content Review + Strategies & Techniques (2022) (College Test Preparation)

A Tale of Two Cities
  • Charles Dickens

A Tale of Two Cities

Birds of the Carolinas Field Guide, Second Edition: Companion to Birds of the Carolinas Audio CDs
  • Stan Tekiela

Birds of the Carolinas Field Guide, Second Edition: Companion to Birds of the Carolinas Audio CDs

Guitar Aerobics: A 52-Week, One-lick-per-day Workout Program for Developing, Improving and Maintaining Guitar Technique Bk/online audio
  • Troy Nelson

Guitar Aerobics: A 52-Week, One-lick-per-day Workout Program for Developing, Improving and Maintaining Guitar Technique Bk/online audio

The Little Rabbit (My Little Animal Friend)
  • Nicola Killen

The Little Rabbit (My Little Animal Friend)

5M

Copies Sold

1.5M

Cup Of Coffe

1M

Copies Released

50K

Happy Readers

Testimonials

Top