Robert Schenck: Master's Thesis
Programming Systems
Robert Schenck
Master's Thesis
Parametricity Proofs in Coq
Advisors:
Yannick Forster
,
Fabian Kunze
Abstract:
A study of parametricity proofs in Coq using
Autosubst 2
.
Legal notice
,
Privacy policy