Most Popular Books
- An Introduction to Lambda Calculi for Computer Scientists
- Principles of Functional Programming
- Principles of Program Analysis
- Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. (Lecture Notes in Computer Science)
- Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings