Composable, Sound Transformations of Nested Recursion and Loops

Kirshanthan Sundararajah, Milind Kulkarni
PLDI 2019
Preprint PDF Code Slides