Synthesizing iterators from abstraction functions (2012)

by D Rayside, S Montaghami, S Leung, S Yuen, S Xu, D Jackson
Venue:In GPCE