Login / Signup
Seth Galasso
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Type Checking
Character N Grams
Functional Language
European Languages
Top Venues
FLOPS
</>
Publications
</>
Seth Galasso
,
Matteo Cimini
Language-parameterized Proofs for Functional Languages with Subtyping.
FLOPS
(2024)