Relational Reasoning for Recursive Types and References.

Nina Bohr, Lars Birkedal

Browse the full APLAS paper archive.