Link to "A Relational Framework for Higher-Order Shape Analysis" paper.
Merge pull request #7 from yallop/shape-analysis

Link to "A Relational Framework for Higher-Order Shape Analysis" paper.