Hacker News
- The Little Manual of API Design (2008) [pdf] http://www4.in.tum.de/~blanchet/api-design.pdf 25 comments
Lobsters
- The Little Manual of API Design http://www4.in.tum.de/~blanchet/api-design.pdf 6 comments pdf , programming
- Efficient Parallel Programming in Poly/ML and Isabelle/ML http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf 3 comments sml
- The Little Manual of API Design http://www4.in.tum.de/~blanchet/api-design.pdf 4 comments programming
- The Little Manual of API Design (PDF) http://www4.in.tum.de/~blanchet/api-design.pdf 7 comments programming
Lambda the Ultimate
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf 4 comments Implementation , Software Engineering , Type Theory