Christopher Brown 0002, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu. Semi-automatic ladderisation: improving code security through rewriting and dependent types. In Zena M. Ariola, Youyou Cong, editors, POPL '22: The 49th Annual ACM SIGPLAN Symposium on Principles of Programming Languages, Philadelphia, PA, USA, January 17 - 18, 2022. pages 14-27, ACM, 2022. [doi]
Abstract is missing.