Typechecking is undecidable when 'type' is a type (1989) [pdf] | Hacker News

Typechecking is undecidable when 'type' is a type (1989) [pdf] (dspace.mit.edu)

80 points by zem 5 days ago | 49 comments

Loading...