2008 |
6 | EE | Robert R. Hoffman,
Peter Hancock,
Morris Marx:
Metrics, Metrics, Metrics: Negative Hedonicity.
IEEE Intelligent Systems 23(2): 69-73 (2008) |
2006 |
5 | EE | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology.
Ann. Pure Appl. Logic 137(1-3): 189-239 (2006) |
4 | EE | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Continuous Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 164(1): 141-155 (2006) |
2004 |
3 | EE | Peter Hancock:
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003.
J. Funct. Program. 14(5): 594-597 (2004) |
2002 |
2 | EE | Robert R. Hoffman,
Patrick J. Hayes,
Kenneth M. Ford,
Peter Hancock:
The Triples Rule.
IEEE Intelligent Systems 17(3): 62-65 (2002) |
2000 |
1 | EE | Peter Hancock,
Anton Setzer:
Interactive Programs in Dependent Type Theory.
CSL 2000: 317-331 |