欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Paul Graham
来自开放百科 - 灰狐
（版本间的差异）
(以“{{SeeWikipedia|Paul Graham (computer programmer)}} 保罗·格雷厄姆（Paul Graham），美国著名程序员、风险投资家、博客和技术作家。他以[...”为内容创建页面) |
小 (→图书) |
||
| 第7行： | 第7行： | ||
==图书== | ==图书== | ||
*[http://acl.readthedocs.org/en/latest/ 《ANSI Common Lisp》中文版] | *[http://acl.readthedocs.org/en/latest/ 《ANSI Common Lisp》中文版] | ||
| + | *[http://www.paulgraham.com/onlisptext.html 《On Lisp》] | ||
==链接== | ==链接== | ||
2015年2月20日 (五) 06:04的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Paul Graham Thanks, Wikipedia. |
保罗·格雷厄姆（Paul Graham），美国著名程序员、风险投资家、博客和技术作家。他以Lisp方面的工作而知名，也是最早的Web应用Viaweb的创办者之一，后来以近5千万美元价格被雅虎收购，成为Yahoo! Store。
他的著作包括《On Lisp》（1993），《ANSI Common Lisp》（1995）和《Hackers & Painters》（2004）。
图书
链接
分享您的观点
