Skip to content
cs-conference-ranking.org

Composable, sound transformations of nested recursion and loops.

Kirshanthan Sundararajah, Milind Kulkarni

VenueA*PLDI
Year2019
ProceedingsPLDI
DBLP recordconf/pldi/Sundararajah019 ↗

Browse the full PLDI paper archive.