Giarrusso - Optimizing and Incrementalizing Higher-Order Collection Queries (PhD thesis, 2020)

See research material.

(TODO)