Typechecking is undecidable when 'type' is a type (1989) [pdf]dspace.mit.edu3 points·zem··0 commentsOpen articleSaveView on HN