Super HN
New
Show
Typechecking is undecidable when 'type' is a type (1989) [pdf]
(dspace.mit.edu)
10 points by zem 2 days ago