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

How to write type-safe generics in C

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

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