Programming Language Theory
http://steshaw.org/p
A path to enlightenment in Programming Language Theory.
> Mathematical Literacy
> Algebra
> Type Theory
> Programming Languages
> Compiler Construction
> Runtime systems
> Functional Programming
> Category Theory
> Other collections
无链接书目：
- Using, Understanding, and Unravelling The OCaml Language
- Polymorphic Typing of An Algorithmic Language
- Software Foundations
- The Art of Automatic Memory Management
- Developing Applications With OCaml
- Cakes, Custard and Category Theory
- Category Theory Lectures Notes for ESSLLI
A path to enlightenment in Programming Language Theory.
> Mathematical Literacy
> Algebra
> Type Theory
> Programming Languages
> Compiler Construction
> Runtime systems
> Functional Programming
> Category Theory
> Other collections
无链接书目：
- Using, Understanding, and Unravelling The OCaml Language
- Polymorphic Typing of An Algorithmic Language
- Software Foundations
- The Art of Automatic Memory Management
- Developing Applications With OCaml
- Cakes, Custard and Category Theory
- Category Theory Lectures Notes for ESSLLI
来自：豆瓣读书
作者: Michael Barr / Charles Wells
出版社: Prentice Hall
出版年: 1995-10
出版社: Prentice Hall
出版年: 1995-10
来自：豆瓣读书
作者: F. William Lawvere / Stephen H. Schanuel
出版社: Cambridge University Press
出版年: 2009-8-31
出版社: Cambridge University Press
出版年: 2009-8-31
来自：豆瓣读书
作者: Benjamin C. Pierce
出版社: The MIT Press
出版年: 1991-8-7
出版社: The MIT Press
出版年: 1991-8-7
来自：豆瓣读书
作者: Chris Okasaki
出版社: Cambridge University Press
出版年: 1999-6-13
出版社: Cambridge University Press
出版年: 1999-6-13
来自：豆瓣读书
作者: Morten Heine Sørensen M.Sc Ph.D / Pawel Urzyczyn prof. dr hab.
出版社: Elsevier Science
出版年: 2006-9-28
出版社: Elsevier Science
出版年: 2006-9-28
来自：豆瓣读书
作者: Kees Doets / Jan van Eijck
出版社: College Publications
出版年: 2004-5-7
出版社: College Publications
出版年: 2004-5-7
来自：豆瓣读书
作者: Matthias Felleisen / Robert Bruce Findler / Matthew Flatt / Shriram Krishnamurthi
出版社: The MIT Press
出版年: 2001-2-12
出版社: The MIT Press
出版年: 2001-2-12
来自：豆瓣读书
作者: Matthias Felleisen / Daniel P. Friedman / Duane Bibby / Robin Milner
出版社: The MIT Press
出版年: 1998-2-19
出版社: The MIT Press
出版年: 1998-2-19
来自：豆瓣读书
作者: Daniel P. Friedman / Matthias Felleisen
出版社: The MIT Press
出版年: 1995-12-21
出版社: The MIT Press
出版年: 1995-12-21
来自：豆瓣读书
作者: Daniel P. Friedman / Matthias Felleisen
出版社: The MIT Press
出版年: 1995-12-21
出版社: The MIT Press
出版年: 1995-12-21
来自：豆瓣读书
作者: Jason Hickey / Anil Madhavapeddy / Yaron Minsky
出版社: O'Reilly Media
出版年: 2013-3-22
出版社: O'Reilly Media
出版年: 2013-3-22
来自：豆瓣读书
作者: Simon Marlow
出版社: O'Reilly Media
出版年: 2013-8-15
出版社: O'Reilly Media
出版年: 2013-8-15
来自：豆瓣读书
作者: Harold Abelson / Gerald Jay Sussman / Julie Sussman
出版社: The MIT Press
出版年: 1996-7-25
出版社: The MIT Press
出版年: 1996-7-25
来自：豆瓣读书
作者: Paul Chiusano / Rúnar Bjarnason
出版社: Softbound print
出版年: 2014-9-14
出版社: Softbound print
出版年: 2014-9-14
来自：豆瓣读书
作者: Bryan O'Sullivan / John Goerzen / Don Stewart
出版社: O'Reilly Media
出版年: 2008-12-01
出版社: O'Reilly Media
出版年: 2008-12-01
来自：豆瓣读书
作者: Richard Bird / Oege de Moor
出版社: Prentice Hall
出版年: 1997-9-26
出版社: Prentice Hall
出版年: 1997-9-26
来自：豆瓣读书
作者: Richard Bird / Philip Wadler
出版社: Prentice Hall
出版年: 1988-1-1
出版社: Prentice Hall
出版年: 1988-1-1
来自：豆瓣读书
作者: Richard Jones / Antony Hosking / Eliot Moss
出版社: Chapman and Hall/CRC
出版年: 2011-8-17
出版社: Chapman and Hall/CRC
出版年: 2011-8-17
什么是书单 · · · · · ·
书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。
你还可以看看其他人的收集，关注你感兴趣的书单。