Monadic Intersection Types, Relationally.

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

Browse the full ESOP paper archive.