Why does a Turing-complete type system make type checking undecidable?
Lindsey Kuper 2017-08-30
Summary:
New blog post, in which I make various embarrassing realizations.
This entry was originally posted at http://lindseykuper.dreamwidth.org/10630.html. Please comment there using OpenID.