Chris Hankin
9 published titles
Principles of functional programming
(Contributor)
1 edition
- ISBN: 0137091486
- Prentice-Hall
- 1984
- Details
Abstract interpretation of declarative languages
(Contributor)
1 edition
- ISBN: 0745801099
- Horwood
- 1987
- Details
Lambda calculi : a guide for computer scientists
1 edition
- ISBN: 0198538405
- Clarendon
- 1994
- Details
Coordination programming : mechanisms, models, and semantics
(Contributor)
1 edition
- ISBN: 1860940234
- Imperial College Press
- 1996
- Details
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, Marc
(Contributor)
1 edition
- ISBN: 3540643028
- Springer
- 1998
- Details
Principles of program analysis
(Contributor)
1 edition
- ISBN: 3540654100
- Springer
- 1999
- Details
An introduction to Lambda calculi for computer scientists
1 edition
- ISBN: 0954300653
- King's College Publications
- 2004
- Details
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005, proceedings
(Contributor)
1 edition
- ISBN: 9783540285847
- Springer
- 2005
- Details
Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
(Contributor)
1 edition
- ISBN: 9783319278094
- Springer
- 2016
- Details
