paperlined.org
dev
>
concepts
>
functional
document updated 13 years ago, on Apr 26, 2011
Existential Type
(
reddit discussions
)