著者典拠情報

著者標目形：
Hankin, Chris
属性：
Personal
から見よ参照形：
Hankin, C
注記：
His Principles of functional programming, 1984: CIP t.p. (Chris Hankin; Westfield College, Univ. of London)
Abstract interpretation of declarative languages, 1987: CIP t.p. (Chris Hankin; Ph. D.; lecturer, Dept. of Computing, Imperial College of Science and Technology, London) data sheet (b. 6/10/54)
EDSRC: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 / Chris Hankin (ed.)(Springer-Verlag, c1998)
著者典拠ID：
DA01670381


1.

図書
図書
1. Principles of program analysis
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
所蔵情報: 図書館
2.

図書
図書
2. Coordination languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17 1996 : proceedings
Paolo Ciancarini, Chris Hankin (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1061
所蔵情報: 図書館
3.

図書
図書
3. Lambda calculi : a guide for computer scientists (: pbk)
Chris Hankin
出版情報: Oxford [England] : Clarendon Press , New York : Oxford University Press, 1994
シリーズ名: Graduate texts in computer science ; 3
所蔵情報: 図書館