Hacker Neus
Typechecking is undecidable when 'type' is a type (1989) [pdf]
(dspace.mit.edu)
80 points
by zem
5 days ago |
49 comments
