Composable, Sound Transformations of Nested Recursion and Loops

Kirshanthan Sundararajah, Milind Kulkarni

PLDI 2019

Preprint PDF Code Slides