Fusing effectful comprehensions.

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi

Browse the full PLDI paper archive.