Type-Driven Verification of Non-functional Properties.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Cline Minh, Olivier Zendra

Browse the full PPDP paper archive.