%0 Conference Paper %1 conf/saig/CalcagnoM00 %A Calcagno, Cristiano %A Moggi, Eugenio %B SAIG %D 2000 %E Taha, Walid %I Springer %K dblp %P 92-107 %T Multi-Stage Imperative Languages: A Conservative Extension Result. %U http://dblp.uni-trier.de/db/conf/saig/saig2000.html#CalcagnoM00 %V 1924 %@ 3-540-41054-6

@inproceedings{conf/saig/CalcagnoM00, added-at = {2017-05-21T00:00:00.000+0200}, author = {Calcagno, Cristiano and Moggi, Eugenio}, biburl = {https://www.bibsonomy.org/bibtex/2236a7a2be8e95c4124e43e0a0e6e6ea5/dblp}, booktitle = {SAIG}, crossref = {conf/saig/2000}, editor = {Taha, Walid}, ee = {https://doi.org/10.1007/3-540-45350-4_9}, interhash = {d3bc6a7df6bc70ebabcfeced52085136}, intrahash = {236a7a2be8e95c4124e43e0a0e6e6ea5}, isbn = {3-540-41054-6}, keywords = {dblp}, pages = {92-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:45:47.000+0200}, title = {Multi-Stage Imperative Languages: A Conservative Extension Result.}, url = {http://dblp.uni-trier.de/db/conf/saig/saig2000.html#CalcagnoM00}, volume = 1924, year = 2000 }