%0 Conference Paper %1 conf/tldi/VanderwaartDPCHC03 %A Vanderwaart, Joseph %A Dreyer, Derek %A Petersen, Leaf %A Crary, Karl %A Harper, Robert %A Cheng, Perry %B TLDI %D 2003 %E Shao, Zhong %E Lee, Peter %I ACM %K dblp %P 98-108 %T Typed compilation of recursive datatypes. %U http://dblp.uni-trier.de/db/conf/tldi/tldi2003.html#VanderwaartDPCHC03 %@ 1-58113-649-8

@inproceedings{conf/tldi/VanderwaartDPCHC03, added-at = {2021-06-25T00:00:00.000+0200}, author = {Vanderwaart, Joseph and Dreyer, Derek and Petersen, Leaf and Crary, Karl and Harper, Robert and Cheng, Perry}, biburl = {https://www.bibsonomy.org/bibtex/2c87d9be8b478c4e46c6fe74c54264228/dblp}, booktitle = {TLDI}, crossref = {conf/tldi/2003}, editor = {Shao, Zhong and Lee, Peter}, ee = {https://doi.org/10.1145/640136.604187}, interhash = {86e8586cf3cc251ff6caafa83e22b7b5}, intrahash = {c87d9be8b478c4e46c6fe74c54264228}, isbn = {1-58113-649-8}, keywords = {dblp}, pages = {98-108}, publisher = {ACM}, timestamp = {2024-04-09T20:45:11.000+0200}, title = {Typed compilation of recursive datatypes.}, url = {http://dblp.uni-trier.de/db/conf/tldi/tldi2003.html#VanderwaartDPCHC03}, year = 2003 }