%0 Conference Paper %1 conf/tgc/VIICH07 %A VII, Tom Murphy %A Crary, Karl %A Harper, Robert %B TGC %D 2007 %E Barthe, Gilles %E Fournet, Cédric %I Springer %K dblp %P 108-123 %T Type-Safe Distributed Programming with ML5. %U http://dblp.uni-trier.de/db/conf/tgc/tgc2007.html#VIICH07 %V 4912 %@ 978-3-540-78662-7

@inproceedings{conf/tgc/VIICH07, added-at = {2017-05-21T00:00:00.000+0200}, author = {VII, Tom Murphy and Crary, Karl and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/28409d7598051ef3bae226f323824f7e5/dblp}, booktitle = {TGC}, crossref = {conf/tgc/2007}, editor = {Barthe, Gilles and Fournet, Cédric}, ee = {https://doi.org/10.1007/978-3-540-78663-4_9}, interhash = {1afef64efa47a85d78a4f21066641e7b}, intrahash = {8409d7598051ef3bae226f323824f7e5}, isbn = {978-3-540-78662-7}, keywords = {dblp}, pages = {108-123}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:20:58.000+0200}, title = {Type-Safe Distributed Programming with ML5.}, url = {http://dblp.uni-trier.de/db/conf/tgc/tgc2007.html#VIICH07}, volume = 4912, year = 2007 }