Microsoft Research Cambridge

Andy Gordon, Luca Cardelli

FoSSaCS 1999 International Conference on Foundations of Software Science and Computation Structure | March 1999

ISBN: 9783540657194

A shortened version of this paper appears in the proceedings of the conference on Foundations of Software Science and Computation Structures, Amsterdam, the Netherlands, 22 – 26 March 1999. The proceedings is published by Springer Verlag as a volume of the series Lecture Notes in Computer Science.

Martı́n Abadi, Andy Gordon

Information and Computation | January 1999, Vol 148(1): pp. 1-70

Abigail Sellen, Kenton O'Hara

Proceedings of CHI ’98, ACM, New York | April 1998

Annette Adler, Anuj Gujar, Beverly L. Harrison, Kenton O'Hara, Abigail Sellen

Proceedings of CHI ’98, ACM, New York | April 1998

Abigail Sellen, J. W. Senders, J. Russell

Trans. on Multi-Disciplinary Engineering, Australia | January 1998, Vol GE21: pp. 57-66

A. J. Byrne, Abigail Sellen, J. G. Jones

British Journal of Anaesthesia | January 1998, Vol 80: pp. 58-62

Richard Harper, Kenton O'Hara, Abigail Sellen, D. Duthie

British Journal of Anaesthesia | June 1997, Vol 78(6): pp. 762-767

Abigail Sellen, G. Louie, J. E. Harris, A. J. Wilkins

Memory | May 1997, Vol 5(4): pp. 483-507

Kenton O'Hara, Abigail Sellen

Proceedings of CHI ’97 ( Atlanta, GA.) | March 1997

Abigail Sellen, Richard Harper

Proceedings of CHI ’97 ( Atlanta, GA.) | March 1997