Browse DORAS
Browse Theses
Search
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

Author: Hamilton, Geoffrey

Number of items: 2.

2007

Hamilton, Geoffrey (2007) Distilling programs for verification. Electronic Notes in Theoretical Computer Science, 190 (4). pp. 17-32. ISSN 1571-0661

1993

Hamilton, Geoffrey (1993) Compile-time optimisation of store usage in lazy functional programs. PhD thesis, University of Stirling.

This list was generated on Thu Oct 19 04:10:42 2017 IST.