Type Theory

Log in or register to write something here or to contact authors.

Hindley-Milner polymorphic type system	System F	Curry-Howard Isomorphism	Natural Deduction
type derivation	type constructor	recursive type	Kind
product type	sum type	The importance of cardboard boxes	Strong normalization
NuPRL	type safe	poset	Safety
monad	SIGPLAN	Yasumasa Kanada	Robin Milner
POPL	Jean-Yves Girard

Recommended Reading

Login
Password