Please use this identifier to cite or link to this item:
|Title:||Design and verification of IFL : a wide-spectrum intermediate functional language by Todd G. Simpson|
|Authors:||Simpson, Todd G.|
|Publisher:||Computer Science, University of Calgary|
|Description:||Bibliography: p. 235-246.|
|Appears in Collections:||University of Calgary Theses|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.