Regular and First-Order List Functions.

Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna

Browse the full LICS paper archive.