Fusing Effectful Comprehensions

Saarikivi, O; Veanes, M; Mytkowicz, T; Musuvathi, M

Saarikivi, O (reprint author), Aalto Univ, Espoo, Finland.; Saarikivi, O (reprint author), Aalto Univ, Helsinki, Finland.

ACM SIGPLAN NOTICES, 2017; 52 (6): 17

Abstract

List comprehensions provide a powerful abstraction mechanism for expressing computations over ordered collections of data declaratively without having......

Full Text Link