Image missing.
Typechecking is undecideable when 'type' is a type (1989) [pdf]

created: Nov. 18, 2025, 11:33 a.m. | updated: Nov. 23, 2025, 6:57 p.m.

3 weeks, 1 day ago: Hacker News