Skip to content

Type checking beyond type checkers, via slice & run.

Justus Adam, Stephen Kell

VenueAOOPSLA
Year2020
ProceedingsTAPAS@SPLASH

Browse the full OOPSLA paper archive.