Papers to Read

My curated list of papers I need to read (or already did), mostly about PLT. There are also some slides and books when I find them useful enough.

Index

• Algebra
• Compilers
  • Design
  • Parser Generators
  • Techniques
  • Tools
• Hardware
• Monads
• Parallel Programming
• Programming Paradigms
• Theorem Proving
• Type Theory
• Virtual Machines

Algebra

• Applicative functors and fully transparent higher-order modules (Xavier Leroy)

Compilers

Design

• Programming Language Design Concepts (David Watt, William Findlay)
• Smalltalk-80 - The Language and its Implementation (Adele Goldberg, David Robson)

Parser Generators

• Menhir Reference Manual (François Pottier, Yann Régis-Gianas)

Techniques

• Building Extensible Parsers with Camlp4 (Asankhaya Sharma)
• Design and Implementation of Generics for the .NET Common Language Runtime (Andrew Kennedy, Don Syme)
• Exception Handling for Error Reporting in Parsing Expression Grammars (André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy)
• Parsing Documentation Comments in Clang (Dmitri Gribenko)
• Generating LR syntax error messages from examples (Clinton L. Jeffery)

Tools

• From Bytecode to Javascript: the Js_of_ocaml Compiler (Jérôme Vouillon, Vincent Balat)

Effects

• Context-aware programming languages (Tomas Petricek)

Hardware

• Lava: Hardware Design in Haskell (Satnam Singh)

Monads

• From Monads to Effects and Back (Niki Vazou, Daan Leijen)
• Monads Need Not To Be Endofunctors (Thorsten Altenkirch, James Chapman, and Tarmo Uustalu)
• The Final Pretty Printer (David Christiansen, David Darais, Weixi Ma)

Parallel Programming

• Haskell on a Shared-Memory Multiprocessor (Tim Harris, Simon Marlow, Simon Peyton Jones)

Programming Paradigms

• Programming Paradigms for Dummies: What Every Programmer Should Know (Peter Van Roy)

Theorem Proving

• Generic Environments in Coq (Emmanuel Polonowsky)
• Programming in IDRIS: A Tutorial (The IDRIS Community)
• The C standard formalized in Coq (Robbert Jan Krebbers)

Type Theory

• Basic Polymorphic Typechecking (Luca Cardelli)
• On Model Subtyping (Clément Guy, Benoit Combemale, Steven Derrien, James Steel, Jean-Marc Jézéquel)
• On Understanding Types, Data Abstraction, and Polymorphism (Luca Cardelli, Peter Wegner)
• Programming in Homotopy Type Theory (Dan Licata, Robert Harper)
• Type Inference Algorithms (S. Saeidi Mobarakeh)
• Type Inference for Records in a Natural Extension of ML (Didier Rémy)
• Type Systems (Luca Cardelli)
• Type Systems for Object-Oriented Programming Languages (Kathleen Shanahan Fisher)
• Why Dependent Types Matter (Thorsten Altenkirch, Conor McBride, James McKinna)

Virtual Machines

• BASIX - An Interpreter Written in TEX (Andrew Marc Greene)
• Escape From Return-Oriented Programming: Return-oriented Programming without Returns (on the x86) (Stephen Checkoway, Hovav Shacham)
• mov is Turing-complete (Stephen Dolan)