Today it’s mostly about functional programming and languages.
Martin Odersky, Scala Reference
Jason Hickey, Introduction to the Objective Caml Programming Language
Jan van Eijck, Christina Unger, Computational Semantics With Type Theory
Robert Harper, Practical Foundations for Programming Languages
Simon Thompson, Type Theory and Functional Programming
Mendel Cooper, Advanced Bash Scripting Guide (this one was my best friend at the Operating Systems course)
Simon Peyton Jones, David Lester, Implementing Functional languages: a tutorial
Simon Peyton Jones, The Implementation of Functional Programming Languages
Post a Comment