HTTPS SSH

Papers I Love

This is a non-exhaustive list of paper's I've read and really enjoyed. They're roughly categorized by subject and I've tried to indicate if something's have dependencies on unusual subjects.

I've somewhat arbitrarily divided type theory from PLT in general from Haskell specifics. Roughly speaking, PLT deals with "languages in the large", type theory/logic is mostly static semantics, and Haskell Specific is about Haskell.

Programming Language Theory

Type Theory/Logic

Haskell Specific