Books

  • Code : The Hidden Language of Computer Hardware and Software (Charles Petzold)
  • The Annotated Turing Manual (Charles Petzold)
  • Computer Systems - A programmer’s perspective (Bryant)
  • Thinking Functionally with Haskell (Richard Bird)
  • Pearls of Functional Algorithm Design (Richard Bird)
  • Functional Data Structures (Chris Okasaki)
  • The elements of computing systems (Nisan & Schocken)
  • Design and Analysis of Algorithms (Levitin)
  • Theory of computation (Michael Sipser)
  • Algorithms (Robert Sedgewick)
  • SICP (Abelson & Sussman)
  • Peace in every step (Thai)
  • Programming Windows (Charles Petzold)
  • Programming Applications for Microsoft Windows (Jeffrey Richter)
  • CLR via C# (Jeffrey Richter)
  • JVM - Internals (Bill Venners)
  • Probability Theory - The Logic of Science (E.T. Jayanes)
  • Design and Evolution of C++ (Bjarne Stroustrup)
  • Programming in Haskell (Graham Hutton)

People

Websites

MOOCS

Papers

  • Why Functional Programming Matters (http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf)
  • Typeful Programming (http://www.lucacardelli.name/Papers/TypefulProg.pdf)
  • On Understanding Data Abstraction, Revisited (http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf)

Talks

Slides