Query Lifting: Language-integrated query for heterogeneous nested collections.

Wilmer Ricciotti & James Cheney.

In: Yoshida, N. (eds) Programming Languages and Systems. ESOP 2021, vol 12648, 579–606. 2021