A Language and a Library of Algebraic Theory-types

Zhang, Huan

Please use this identifier to cite or link to this item: http://hdl.handle.net/11375/9236

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Carette, Jacques	en_US
dc.contributor.author	Zhang, Huan	en_US
dc.date.accessioned	2014-06-18T16:46:19Z	-
dc.date.available	2014-06-18T16:46:19Z	-
dc.date.created	2011-06-01	en_US
dc.date.issued	2009-10	en_US
dc.identifier.other	opendissertations/4377	en_US
dc.identifier.other	5397	en_US
dc.identifier.other	2041551	en_US
dc.identifier.uri	http://hdl.handle.net/11375/9236	-
dc.description.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>	en_US
dc.subject	Computer Engineering	en_US
dc.subject	Computer Sciences	en_US
dc.subject	Software Engineering	en_US
dc.subject	Computer Engineering	en_US
dc.title	A Language and a Library of Algebraic Theory-types	en_US
dc.type	thesis	en_US
dc.contributor.department	Computing and Software	en_US
dc.description.degree	Master of Science (MS)	en_US
Appears in Collections:	Open Access Dissertations and Theses

Files in This Item:

File	Size	Format
fulltext.pdf Open Access	1.45 MB	Adobe PDF	View/Open

Show simple item record