Papers to Read

This page collects papers that we may want to read in future reading groups.

Links to external lists:

• Classic papers in PL and logic
• Another list of PL and logic papers

Specific Papers mentioned in Reading Group

• Cardelli, Wegner, Understanding Types, Data Abstraction, and Polymorphism
  • This came up in reading group in reference to explaining modules with lambda calculus
• Linear Types can change the world!
  • Came up in reading group on Linearity Monad as a suggested introduction to the concept of linear types.
• A Phil Wadler paper on System F
  • Reason: Eric doesn't know System F (ed: lies!)

Let's see how well you really understand folds:

• Bananas and Lenses
  • Reason: This paper is a classic FP paper and lays the foundation for much of the lens library and Foldable, Traversable type classes in haskell
• Third Homomorphism Theorem
  • Reason: A pre-requisite for bananas-lenses this paper describes a theorem that allows you to know when you have a monoid. Again, very important for folds.
• Third Homomorphism Thoerem For Trees
  • Reason: This paper describes the third homomorphism theorem for trees and even relates that to Zippers! Speaking of which...

Other Papers:

• Theorems For Free
• Theorems For Free For Free
• Zippers
  • Reason: Another classic, should be mandatory reading. This paper describes a functional structure known as a zipper that allows one to move up, down left or right in a tree elegantly and efficiently. Zippers also form the basic tree structure used in the programming language Clojure.
• The Marriage of Effects and Monads
  • Reason: This paper is the paper that relates Monads to Effects where they were previously separate lines of research.