| |
| 2008 | ||
|---|---|---|
| 4 | EE | Matthew Collinson, David J. Pym, Edmund Robinson: Bunched polymorphism. Mathematical Structures in Computer Science 18(6): 1091-1132 (2008) |
| 2007 | ||
| 3 | EE | Matthew Collinson, David J. Pym, Chris M. N. Tofts: Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences. Formal Asp. Comput. 19(4): 551-554 (2007) |
| 2006 | ||
| 2 | EE | Matthew Collinson, David J. Pym: Bunching for Regions and Locations. Electr. Notes Theor. Comput. Sci. 158: 171-197 (2006) |
| 2005 | ||
| 1 | EE | Matthew Collinson, David J. Pym, Edmund Robinson: On Bunched Polymorphism. CSL 2005: 36-50 |
| 1 | David J. Pym | [1] [2] [3] [4] |
| 2 | Edmund Robinson (E. P. Robinson) | [1] [4] |
| 3 | Chris M. N. Tofts | [3] |