|
prop4.zip
|
1.2 MB |
Programmable Concurrency in Pure and Lazy Languages. 一篇华人写到博士论文。 |
50 |
|
黑客道.rar
|
255.8 KB |
这是类似一份自传性质的资料！洪峰详细叙述了转向自由软件的历程，以及他对计算机科学的理论研究，文中对数学分析和Scheme语言的精彩绝伦的论述，令我们已经毕业或即将毕业的CS生无地自容！ |
104 |
|
apld.zip
|
1.8 MB |
看到書名還不趕快向西作揖？！ |
95 |
|
semantics_using_miranda.zip
|
74.9 KB |
一篇用 Miranda 做元语言抽象和栈式计算机模拟的文章，绝对超越 SICP 后两章。 |
38 |
|
mr_overview.zip
|
121.5 KB |
Haskell 的前身之一，也是我最喜欢的纯 FP 语言。 |
5 |
|
monad_tutorial.zip
|
176.5 KB |
Monad in Haskell 的全面介绍，从理论到实例到应用 |
22 |
|
Pragmatic.Programming.Erlang.rar
|
1.8 MB |
Pragmatic.Programming.Erlang |
13 |
|
haskell-98-tutorial.rar
|
718.8 KB |
haskell-98-tutorial |
12 |
|
haskell98-report.pdf.gz
|
628.5 KB |
Haskell98 语言的设计报告 |
8 |
|
Expert F#.zip
|
808.2 KB |
Expert F# draft: chapter 2-7 |
31 |
|
plai-2006-01-15.zip
|
832.1 KB |
Programming languages: application and interpretation |
35 |
|
ctfp.zip
|
194.2 KB |
Church's Thesis and Functional Programming, David Turner |
16 |
|
r5rscn.zip
|
482.5 KB |
Scheme 语言 R5RS 标准报告中文试译版（此文件相当珍贵） :) |
44 |
|
why-fp-matters-zh.zip
|
307.5 KB |
经典文章：Why Functional Programming Matters 中文版 |
27 |
|
acl.zip
|
25.9 KB |
Lisp 语言的“来源”。从这篇文章中，你能看出 Lisp 的思想是怎样构筑的。 |
27 |
|
MIT.Press.Concepts.Techniques.and.Models.of.Computer.Programming.eBook-DDU.rar
|
4.3 MB |
号称sicp的进阶. |
408 |
|
scheme.rar
|
1.7 MB |
scheme的官方文档，包括最新的 r6rs的草稿. |
16 |
|
FP.rar
|
921.1 KB |
三本书
Total Functional Programming
tspl
whyfp |
35 |
