This is a work in progress post outlining my research into linear logic and linear type systems.

Logic

Papers related directly to linear logic.

Type Theory

Papers related to linear logic, specifically focusing on type theory.

Courses

Online course materials related to linear logic.

Wikipedia & Web

Related wikipedia entries and other websites.

Languages

Languages which support linear type systems.

Rust Mozilla Research

LinearML University of Nottingham

Mercury University Of Melbourne

ATS Hongwei Xi

I’m hoping to make this into a living document, so please submit pull requests or leave comments!