I'm a reading magpie. I find it almost impossible to browse citeseer, or a amazon without walking away with at least a half dozen new books, and twenty or thirty new papers to read. Citeseer is particularly bad... 'Ooo shiny paper',
I'm going to start posting summaries of the articles, papers, and books I'm reading. This will hopefully result in a permanant record for my own reference, and if I'm lucky, suggestions for additional reading.
So for starters I thought I would post my current (heavilly abbreviated) reading list.
- Essentials of Programming Languages, Daniel Freidman
- I'll be working through this one concurrently with the other papers as I want to work the examples, and that will slow down the reading. I would be interested in advice; this is a textbook widely used in CS courses, would it be inappropriate for me to post my solutions?
- Types and Programming Languages, Benjamin Pierce
- I will be starting this as soon as I finish EOPL. Again I expect to work the examples, and a similar question arises, except that this is a graduate text so hopefully less chance of encouraging cheating
- Introduction to Graph Theory, Richard J. Trudeau
- Making reliable distributed systems in the presesnce of software errors, Joe Armstrong
- The Polyadic PI Calculus : A Tutorial, Robin Milner
- I'll be rereading this one in order to summarise it properly. I'm finding it too useful as a framework for thinking about OOP to not want a more concrete reference to my own understanding of this topic.
- Genuinely Functional User Interfaces, Antony Courtney, Conal Elliott
- This is my primary area of interest, so I am particularly interested in any interesting references on FRP, Arrows, and FRP/Arrows applied to GUI's
- Arrows, Robots, and Functional Reactive Programming, Paul Hudak, Henrik Nilsson, Antony Courtney, John Peterson