Near Matches
Ignore Exact
Everything
2
Type Theory
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
Log in
or
register
to write something here or to contact authors.