Paul D. Hankin

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
Compilation and Equivalence of Imperative Objects. J. Funct. Program. 9 (4) (1999)
Andrew D. Gordon, Paul D. Hankin
A Concurrent Object Calculus: Reduction and Typing. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
Compilation and Equivalence of Imperative Objects. FSTTCS (1997)