On Bunched Polymorphism.

Matthew Collinson, David J. Pym, Edmund Robinson

Browse the full CSL paper archive.