Text
There is no text for CSE 130. We will be using the lecture notes, and other course materials such as articles, web sites, tutorials, etc. will be made available on this site as appropriate.
Below you can find a list of books and online resources that explore various class topics in more depth.
Lambda Calculus
- Types and Programming Languages by Benjamin Pierce
Haskell
Books
- Learn You a Haskell by Miran Lipovača
- Haskell Programming from First Principles by Christopher Allen and Julie Moronuki
- Programming in Haskell by Graham Hutton
- Real World Haskell by Bryan O’ Sullivan, John Goerzen, and Don Stewart
- The Haskell School of Expression by Paul Hudak
- Haskell Wiki Book
Other Resources
- Monadic IO
- Haskell-Lang
- Getting started with Haskell
- Haskell Cheat Sheet
- A Simple editor-independent mini-ide
- API Search Engines: Hoogle Hayoo
- Haskell modes: Emacs Atom Vim
Fun Articles
- PL Dictionary by Dan Grossman
- The Humble Programmer by Edsger Dijkstra
- Can Your Programming Language Do This? by Joel Spolsky
- Closures in C++
- MapReduce