Now I've been writing Haskell for a while, I figure it's time to start reading a lot of the "fundamental" papers, and see if I can fill in some of the gaps.
This repository is a collection of notes for papers that I've read. These notes will most likely take the form of Haskell code, but we'll see what happens.
-
Applicative programming with effects - Conor McBride, Ross Paterson
-
A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation - Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
-
Clowns to the Left of me, Jokers to the Right: Dissecting Data Structures - Conor McBride
-
Fixing idioms: A recursion primitive for applicative DSLs - Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens
-
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - Erik Meijer, Maarten Fokkinga, Ross Paterson
-
Nondeterminism with Referential Transparency in Functional Programming Languages - F. W. Burton
-
Probabilistic Functional Programming in Haskell - Martin Erwig and Steve Kollmansberger
-
A Program to Solve Sudoku - Richard Bird
-
Programming Language Semantics: It's Easy as 1, 2, 3 - Graham Hutton
-
Tracing Monadic Computations and Representing Effects - Maciej Piróg and Jeremy Gibbons