Skip to content
Tech News
← Back to articles

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

2026-01-30 | original
read original get Type checker → more articles

Article content not available. Read the full article at the source.

Explore topics: type type pdf type type typechecking typechecking undecidable
Related:
Meet ERNEST, NASA’s Next-Generation Rover Designed to Be Faster and Tougher
Malicious apps got into the Arch User Repository - how to protect yourself
I've had dozens of robot mower brands and models - here's my advice for every yard type
Show HN: Exploiting Slack's video embeds to achieve E2EE communication
Conversations with a six-year-old on functional programming (2018)

© 2026 GoKawiil

About | Editorial Policy | Contact