Login / Signup

Language-parameterized Proofs for Functional Languages with Subtyping.

Seth GalassoMatteo Cimini
Published in: FLOPS (2024)
Keyphrases