Language-parameterized Proofs for Functional Languages with Subtyping.

Seth Galasso, Matteo Cimini

Browse the full FLOPS paper archive.