Design and verification of IFL : a wide-spectrum intermediate functional language by Todd G. Simpson
Date
1991
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 235-246.
offsite
offsite
Keywords
Citation
Simpson, T. G. (1991). Design and verification of IFL : a wide-spectrum intermediate functional language by Todd G. Simpson (Doctoral thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/15681