Get the latest tech news

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


None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of type

type

Photo of Typechecking

Typechecking

Related news:

News photo

How to write type-safe generics in C

News photo

Show HN: Encore – Type-safe back end framework that generates infra from code

News photo

The X-Files: Resist or Serve is a forgotten fright, and the type of tie-in gem we sadly don't see anymore