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
- F-ing Modules
- LVars: Lattice-based Data Structures for Deterministic Parallelism
- Modular Type Classes
- TALx86: A Realistic Typed Assembly Language
- A Type System for Higher Order Modules
- Abstract Types have Existential Type
- An Intuitionisitic Theory of Types
- Logic Programming with Focused Proof Search in Linear Logic
- Refinement Types for ML
- Structural Focalization
- Type, Abstraction, And Parametric Polymorphism