Static elaboration of recursion for concurrent software.

Stephen A. Edwards, Jia Zeng

Browse the full PEPM paper archive.