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

[zem]

Article URL: https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6

Comments URL: https://news.ycombinator.com/item?id=46820874

Points: 53

# Comments: 28