Chris Hankin profile picture

Chris Hankin

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer Science)
Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer Science, 3)
Static analysis
Lambda calculi: a guide for the perplexed
Principles of Functional Programming
Principles of Functional Programming
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
An Introduction to Lambda Calculi for Computer Scientists
Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Coordination: Languages and Models : 1st International Conference Coordination '96, Cesena, Italy, April 1996 : Proceedings (Lecture Notes in Computer Science, 1061)
Coordination Languages and Models
Abstract interpretation of declarative languages (Ellis Horwood books in computing science, series in computers and their applications)