Near Matches
Ignore Exact
Full Text
Everything
2
Type Theory
printable version
chaos
Hindley-Milner polymorphic type system
Typed Assembly Language
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
parametric polymorphism
Y'know, if you
log in
, you can write something here, or contact authors directly on the site.
Create a New User
if you don't already have an account.
Epicenter
Login
Password
remember me
password reminder
register
Everything2 Help
Cool Staff Picks
The best nodes of all time:
The Who
Monkey, monkey, monkey, monkey, William Shatner
The two types of political correctness
Genus Corvus
How to cook rice
The die is cast, you will cut the mustard or face the music
listen (a perl poem)
Tuna Casserole
Exchanging authors
Alexander Shulgin
scrambled eggs
Stocking
People Power
New Writeups
transitive property
(
idea
)
by
allispaul
sheaf theory
(
idea
)
by
allispaul
Times New Roman
(
thing
)
by
webmaren
Caspian
(
essay
)
by
tentative
Little Nemo in Slumberland
(
thing
)
by
schrodingers rabbit
misery loves company
(
poetry
)
by
Shizzle Melon 69
War is peace, Freedom is slavery, Ignorance is strength
(
log
)
by
ushdfgakjasgh
Science Has No Morals
(
idea
)
by
gate
Beelzetruck
(
essay
)
by
TheCommander315
risk reversal
(
thing
)
by
filoraene
Science Has No Morals
(
essay
)
by
ZoeB
Oddballs
(
poetry
)
by
Sc0ut
crawl space
(
poetry
)
by
Sc0ut
misery loves company
(
poetry
)
by
ignis_glaciesque
megapixel
(
idea
)
by
rootbeer277
(
more
)