A general-purpose dependently-typed assembly language

Download files
Access & Terms of Use
open access
Copyright: Winwood, Simon
Altmetric
Abstract
Persistent link to this record
Link to Publisher Version
Link to Open Access Version
Additional Link
Author(s)
Winwood, Simon
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2010
Resource Type
Thesis
Degree Type
PhD Doctorate
UNSW Faculty
Files
download Winwood-014967880.pdf 18.44 MB Adobe Portable Document Format
Related dataset(s)