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

Type Theory/Logic

• 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

Haskell Specific

• Fast and Loose Reasoning is Morally Correct
• Functional Pearl: Implicit Configurations
• Reflection without Remorse