You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
424 pages • first pub 2018 (view editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
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; u...
Community Reviews
Content Warnings
424 pages • first pub 2018 (view editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
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; u...
Community Reviews
Content Warnings