Karl Crary
A Simple Proof Technique for Certain Parametricity Results
ICFP, 1999.
@inproceedings{ICFP-1999-Crary, author = "Karl Crary", booktitle = "{Proceedings of the Fourth International Conference on Functional Programming}", doi = "10.1145/317636.317787", editor = "Didier Rémi and Peter Lee", isbn = "1-58113-111-9", pages = "82--89", publisher = "{ACM}", title = "{A Simple Proof Technique for Certain Parametricity Results}", year = 1999, }