Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.

Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury

Browse the full CADE paper archive.