Matthew Collinson David J. Pym Edmund Robinson On Bunched Polymorphism. 36-50 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_5 db/conf/csl/csl2005.html#CollinsonPR05