Automatically Verifying Typing Constraints for a Data Processing Language

Michael Backes , Cătălin Hriţcu, Thorsten Tarrach

Proc. 1st International Conference on Certified Programs and Proofs (CPP 2011), pp. 296-313, 2011.

( BibTeX )