• D. Pym: The Logic of Bunched Implications
• P. O'Hearn: On Bunched Typing
• D. Pym and P. O'Hearn: The Logic of Bunched Implications
• D. Pym and P. O'Hearn and H. Yang: Possible Worlds and Resources --- the semantics of BI
• C. Calcagno and H. Yang and P. O'Hearn: Computability and Complexity Results for a Spatial Assertion Language for Data Structures
• C. Calcagno and P. O'Hearn and R. Bornat: Program Logic and Equivalence in the Presence of Garbage Collection
• J.C. Reynolds: Class Notes classnotes1 classnotes2 classnotes3 classnotes4 classnotes-walker
• J.C. Reynolds: Intuitionistic Reasoning about Shared Mutable Data Structures
• J.C. Reynolds: Slides from Talk: Reasoning about Shared Mutable Data Structures
• J.C. Reynolds: Slides from Course in Argentina
• H. Yang: Yang's Ph.D. thesis
• G. Morriesett, F. Smith and D. Walker Alias Types
• G. Morriesett, and D. Walker Alias Types for Recursive Data Structures

---

Lars Birkedal

Last modified: Fri Sep 14 12:34:29 CEST 2001