Semi-automatic ladderisation: improving code security through rewriting and dependent types.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu

Browse the full PEPM paper archive.