Relational Parametricity for a Polymorphic Linear Lambda Calculus.

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

Browse the full APLAS paper archive.