Most Popular Books
- An Introduction to Lambda Calculi for Computer Scientists
- Principles of Functional Programming
- 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
- Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)
