Robert Schenck: Master's Thesis

Saarland University Computer Science

Parametricity Proofs in Coq

Advisors: Yannick Forster, Fabian Kunze

Abstract:

A study of parametricity proofs in Coq using Autosubst 2.


Legal notice, Privacy policy