Functional Pearl: The Distributive λ-Calculus.

Beniamino Accattoli, Alejandro Daz-Caro

Browse the full FLOPS paper archive.