Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/9236
Title: | A Language and a Library of Algebraic Theory-types |
Authors: | Zhang, Huan |
Advisor: | Carette, Jacques |
Department: | Computing and Software |
Keywords: | Computer Engineering;Computer Sciences;Software Engineering;Computer Engineering |
Publication Date: | Oct-2009 |
Abstract: | <p>p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.5px Times} span.s1 {font: 11.0px Times}</p> <p>I would first and foremost like to express my deep-felt gratitude to my supervisor, Dr. Jacques Carette, who shared with me a lot of his expertise and research insight through my studies. This thesis was made possible by his advice, assistance and guidance.</p> <p>My special thanks and appreciation goes to the members of my examination committee, Dr. Jacques Carette, Dr. William M. Farmer, and Dr. Spencer Smith.</p> <p>Many helpful suggestions and comments by various members of the MathScheme project group have helped to improve the quality of this work.</p> <p>p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.5px Times} span.s1 {font: 10.5px Helvetica}</p> <p>And finally, I would like to thank my family and friends, for their love, encouragement and continuous support.</p> |
URI: | http://hdl.handle.net/11375/9236 |
Identifier: | opendissertations/4377 5397 2041551 |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
fulltext.pdf | 1.45 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.