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
Nodes to live by:
Sea dragon
fair use
Zulu
Holocaust
Unemployment compensation
How a little girl learns to ride a bike
The end will be a sellout
Why I write
pipeline
Generation X
Mini
Brad, what if I told you I belonged to a network of freedom fighters?
super hero origins
New Writeups
Know That I Am Providence
(
place
)
by
TheDispatcher
Alcohol and teens
(
personal
)
by
heirdo
Suzumiya Haruhi
(
thing
)
by
Jibbley
Death Cab for Cutie
(
thing
)
by
Jibbley
cassandra's spiced hot chocolate
(
recipe
)
by
cassparadox
pieces of us we
(
fiction
)
by
ushdfgakjasgh
The Princess and the Frog
(
essay
)
by
Powers
BWV 734
(
thing
)
by
vonCube
Alcohol and teens
(
essay
)
by
tentative
The Marshall Mathers LP
(
essay
)
by
beldin
Kelp
(
fiction
)
by
BIII
An open letter to Frank J. Tipler
(
essay
)
by
Pandeism Fish
Tuscan-Style White Bean and Sausage Soup
(
recipe
)
by
NanceMuse
Cannellini bean
(
thing
)
by
NanceMuse
How to Kill a Republicon Senator
(
how-to
)
by
artman2003
(
more
)