[<<][staapl][>>][..]
Thu Aug 14 19:37:02 CEST 2008

books

This is the collection of books I'd like to finish.  I'm being foolish
and read books without making exercises, trying to incorporate
knowledge in the design and implementation of Staapl.  TSPL, EOPL and
SICP were real eye-openers.


Done:
* TSPL http://www.scheme.com/tspl3/
* EOPL http://www.cs.indiana.edu/eip/eopl.html
* SICP http://mitpress.mit.edu/sicp/full-text/book/book.html (except logic)

Reading:
* CSP   http://www.usingcsp.com/
* TAOCP http://www-cs-faculty.stanford.edu/~knuth/taocp.html
* TAPL  http://www.cis.upenn.edu/~bcpierce/tapl/
* TAPOC http://www.comlab.ox.ac.uk/people/bill.roscoe/publications/68b.pdf

Todo:
* PLAI  http://www.cs.brown.edu/%7Esk/Publications/Books/ProgLangs/
* CTMCP http://www.info.ucl.ac.be/~pvr/book.html




[Reply][About]
[<<][staapl][>>][..]