A general-purpose dependently-typed assembly language
A general-purpose dependently-typed assembly language
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
|
18.44 MB | Adobe Portable Document Format |