Steve Zdancewic, Dan Grossman, J. Gregory Morrisett
Principals in Programming Languages: A Syntactic Proof Technique
ICFP, 1999.
@inproceedings{ICFP-1999-ZdancewicGM, author = "Steve Zdancewic and Dan Grossman and J. Gregory Morrisett", booktitle = "{Proceedings of the Fourth International Conference on Functional Programming}", doi = "10.1145/317636.317799", editor = "Didier Rémi and Peter Lee", isbn = "1-58113-111-9", pages = "197--207", publisher = "{ACM}", title = "{Principals in Programming Languages: A Syntactic Proof Technique}", year = 1999, }