Matthew Collinson David J. Pym Edmund Robinson Bunched polymorphism. 1091-1132 2008 18 Mathematical Structures in Computer Science 6 http://dx.doi.org/10.1017/S0960129508007159 db/journals/mscs/mscs18.html#CollinsonPR08