Thesis
Title Supporting formal reasoning about functional programs / Graham Richard McFralane Collins.
Author Collins, Graham Richard McFarlane.
Published 2001.

Status Loan Type Location Shelf-mark
 Reference Only  Not for loan  Level 12 Spec Coll  Thesis 12257  
 NOT KNOWN  Not known  Computing Science DL  Thesis 12257  
More Details
Description viii, 166 p. ; 30cm.
Note Ph.D. thesis submitted to the Department of Computing Science, University of Glasgow, 2001.
Thesis Thesis (Ph.D.) -- University of Glasgow, 2001.
Bibliography Includes bibliographical references (p. 158-166)
Note Electronic version also available via Enlighten: Theses, http://theses.gla.ac.uk
Library Class Thesis 12257
Subject Functional programming (Computer science) -- Theses PhD.
Programming languages (Electronic computers) -- Theses PhD.

Permanent link to record