12 papers:
CSL-2015-BrotherstonV #logic- Sub-classical Boolean Bunched Logics and the Meaning of Par (JB, JV), pp. 325–342.
IFL-2013-LammelSV #haskell- The 101haskell Chrestomathy: A Whole Bunch of Learnable λs (RL, TS, AV), p. 25.
SAS-2007-Brotherston #induction #logic #reasoning- Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
- CSL-2007-McCuskerP #game studies
- A Games Model of Bunched Implications (GM, DJP), pp. 573–588.
- CSL-2005-CollinsonPR #morphism #on the #polymorphism
- On Bunched Polymorphism (MC, DJP, ER), pp. 36–50.
IJCAR-2001-ArmelinP #logic programming- Bunched Logic Programming (PAA, DJP), pp. 289–304.
ICSM-1999-MancoridisMCG #clustering #maintenance #named- Bunch: A Clustering Tool for the Recovery and Maintenance of Software System Structures (SM, BSM, YFC, ERG), p. 50–?.
FM-v1-1999-PaigeH #concurrent #object-oriented #realtime #specification- Bunches for Object-Oriented, Concurrent, and Real-Time Specification (RFP, ECRH), pp. 530–550.
- CSL-1999-IshtiaqP #modelling #λ-calculus
- Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.
LICS-1999-Pym #logic #on the- On Bunched Predicate Logic (DJP), pp. 183–192.
TLCA-1999-OHearn #λ-calculus- Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.
DAC-1974-Wang #algorithm #clustering- A partitioning technique for LSI chips including a bunching algorithm (PTW), p. 91.
