- "Racket Manifesto", Mattias Feliesen, et al.
- "Using deBruijn sequences to index a 1 in a computer word", Charles Leiserson, Keith Randall, et al.
- "Some thoughts on security after ten years of qmail 1.0", djb
- "How to read a paper", S. Keshav
- "The bugs we have to kill"
- "A new implementation technique for applicative Languages", David A. Turner
- "Making reliable distributed systems in the presence of software errors", Joe Armstrong PhD thesis, 2003
- "Actors: A Model Of Concurrent Computation In Distributed Systems", Gul A Agha.
- "An Algorithm for Differential File Comparison", Hunt & McIlroy
- "Breaking Paragraphs into Lines", Knuth & Plass
- "Lazy Memo-functions", John Hughes
- "µKanren", Dan Friedman et al.
- "Generating 56-bit passwords using Markov Models (and Charles Dickens)", John Clements. More info here
- "Super-combinators a new implementation method for applicative languages", John Hughes
- Shredding Your Garbage: Reducing Data Lifetime Through Secure Deallocation
- The Halting Problems of Network Stack Insecurity
- Type classes with functional dependencies, Mark P Jones
- Functional Programming with Bananas, Lenses and Barbed Wires, Erik Meijer et al.
- The essence of the iterator pattern, Jeremy Gibbons et al