D dspace.mit.edu Typechecking is undecideable when 'type' is a type (1989) [pdf] 48 points birdculture 11 months ago 27 comments
