Browse DORAS
Browse Theses
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.


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


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

This list was generated on Sun Jun 17 08:03:52 2018 IST.