%0 Conference Paper %1 conf/icalp/CalcagnoMT00 %A Calcagno, Cristiano %A Moggi, Eugenio %A Taha, Walid %B ICALP %D 2000 %E Montanari, Ugo %E Rolim, José D. P. %E Welzl, Emo %I Springer %K dblp %P 25-36 %T Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2000.html#CalcagnoMT00 %V 1853 %@ 3-540-67715-1

@inproceedings{conf/icalp/CalcagnoMT00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Calcagno, Cristiano and Moggi, Eugenio and Taha, Walid}, biburl = {https://www.bibsonomy.org/bibtex/23de12d55e0f55d518bda230b449e7893/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2000}, editor = {Montanari, Ugo and Rolim, José D. P. and Welzl, Emo}, ee = {https://doi.org/10.1007/3-540-45022-X_4}, interhash = {1141e0812020e1ecd96e75044a566d8b}, intrahash = {3de12d55e0f55d518bda230b449e7893}, isbn = {3-540-67715-1}, keywords = {dblp}, pages = {25-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:28.000+0200}, title = {Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2000.html#CalcagnoMT00}, volume = 1853, year = 2000 }