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

 (dspace.mit.edu)

4 points | by zem 2 hours ago ago

No comments yet.