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