%0 Conference Paper %1 conf/icfp/ZdancewicGM99 %A Zdancewic, Steve %A Grossman, Dan %A Morrisett, J. Gregory %B ICFP %D 1999 %E Rémy, Didier %E Lee, Peter %I ACM %K dblp %P 197-207 %T Principals in Programming Languages: A Syntactic Proof Technique. %U http://dblp.uni-trier.de/db/conf/icfp/icfp99.html#ZdancewicGM99 %@ 1-58113-111-9

@inproceedings{conf/icfp/ZdancewicGM99, added-at = {2021-07-08T00:00:00.000+0200}, author = {Zdancewic, Steve and Grossman, Dan and Morrisett, J. Gregory}, biburl = {https://www.bibsonomy.org/bibtex/216b479439f53f56a4759431e84d834ed/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/1999}, editor = {Rémy, Didier and Lee, Peter}, ee = {https://doi.org/10.1145/317765.317799}, interhash = {fa47fe0e4e76f5110ebcf6818488af91}, intrahash = {16b479439f53f56a4759431e84d834ed}, isbn = {1-58113-111-9}, keywords = {dblp}, note = {SIGPLAN Notices 34(9), September 1999}, pages = {197-207}, publisher = {ACM}, timestamp = {2024-04-09T17:31:21.000+0200}, title = {Principals in Programming Languages: A Syntactic Proof Technique.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp99.html#ZdancewicGM99}, year = 1999 }