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
After stirring Everything, these nodes rose to the top:
Letter to Dr. Laura
Everything gland
This is the concept you will use to make yourself invisible
Why Political Correctness is stupid
Logical fallacy
Barack Obama
John Milton
lembas
Crinoline
Clamdigger
Strong, dark and no sugar
Knights Templar
The sinking of the USS Eisenhower and the start of World War III
New Writeups
Perceptics
(
idea
)
by
rootbeer277
Childhood
(
poetry
)
by
Ironnel
wherever you go, there you are
(
thing
)
by
cassparadox
Smile Like You Mean It
(
essay
)
by
tentative
The Einstein Intersection
(
thing
)
by
Michael Henry F
Wrong number
(
event
)
by
Sonnekki
stereotypical kingdoms in fantasy novels
(
idea
)
by
cassparadox
Butterfly
(
thing
)
by
filoraene
funeral
(
thing
)
by
Uri E Bakay
ignorant assumptions
(
essay
)
by
visaisahero
Mario & Luigi: Bowser's Inside Story
(
review
)
by
Shizzle Melon 69
Facilitated communication
(
idea
)
by
rootbeer277
Kung Fu
(
how-to
)
by
webmaren
Preeventualism
(
dream
)
by
bugQ
Prairie Hermit
(
fiction
)
by
vonCube
(
more
)