Text
There is no text for CSE 130. We will be using the lecture notes, and other course materials such as aticles, 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
- 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
- Learn You a Haskell by Miran Lipovača
- Haskell Wiki Book
Other Resources
- Haskell-Lang
- Getting started with Haskell
- What I Wish I Knew When Learning Haskell
- Haskell Cheat Sheet
- Haskell Pitfalls
- A Simple editor-independent mini-ide
- API Search Engines: Hoogle Hayoo
- Haskell modes: Emacs Atom Vim Code
Prolog
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