Andrew D. Gordon. Types for Cyphers: Thwarting Mischief and Malice with Type Theory. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 136, ACM, 2001.
Abstract is missing.