Browsing Computer Science by Subject "expression problem"
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 ...