Read news on Typechecking with our app.
Read more in the app
Typechecking is undecideable when 'type' is a type (1989) [pdf]