Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification.

Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott

Browse the full ECOOP paper archive.