Language-parameterized Proofs for Functional Languages with Subtyping. - Seth Galasso; Matteo Cimini (FLOPS, 2024)