Synthesizing iterators from abstraction functions.

Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson

Browse the full GPCE paper archive.