Fred B. Schneider, J. Gregory Morrisett, Robert Harper. A Language-Based Approach to Security. In Reinhard Wilhelm, editor, Informatics - 10 Years Back. 10 Years Ahead. Volume 2000 of Lecture Notes in Computer Science, pages 86-101, Springer, 2001. [doi]
Abstract is missing.