Skip to content

Deep and shallow types for gradual languages.

Ben Greenman

VenueA*PLDI
Year2022
ProceedingsPLDI

Browse the full PLDI paper archive.