From functional to imperative: combining destination-passing style and views.

Zhitao Lin, Christophe Dubach

Browse the full PLDI paper archive.