Stephanie Weirich. Type-safe cast: functional pearl. In ICFP. pages 58-67, 2000. [doi]
@inproceedings{Weirich00, title = {Type-safe cast: functional pearl}, author = {Stephanie Weirich}, year = {2000}, doi = {10.1145/351240.351246}, url = {http://doi.acm.org/10.1145/351240.351246}, researchr = {https://researchr.org/publication/Weirich00}, cites = {0}, citedby = {0}, pages = {58-67}, booktitle = {ICFP}, }