UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Theses by Supervisor "Zhang, Yizhou"
Now showing items 1-1 of 1
-
Design and Implementation of Family Polymorphism for Interactive Theorem Proving
(University of Waterloo, 2023-06-13)With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs. This thesis presents a novel ...