Get the latest tech news

Type Theory and Functional Programming (1999) [pdf]

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of type theory

type theory

Related news:

$News photo$

Why is it worth spending time on type theory? (2013)

Programming in Martin-Lof's Type Theory: An Introduction (1990)

« The god mode vulnerability that should kill "Trust Microsoft" forever

High-resolution efficient image generation from WiFi Mapping »