Duality between call-by-name recursion and call-by-value iteration (2002)

by Y Kakutani
Venue:In CSL ’02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic