D dspace.mit.edu Typechecking is undecidable when 'type' is a type (1989) [pdf] 82 points zem 9 months ago 52 comments
