papers

• [Scheduling Multithreaded Computations by Work Stealing](papers/Scheduling Multithreaded Computations by Work Stealing.pdf) (source)

  golang 中的偷转算法

• [The Little Manual of API Design](papers/The Little Manual of API Design.pdf)

• [Programming Languages and Lambda Calculi](papers/Programming Languages and Lambda Calculi.pdf) (source)

• [Making reliable distributed systems in the presence of software errors](papers/Making reliable distributed systems in the presence of software errors.pdf) (source)

• backus_turingaward_lecture (source)

  Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs