%0 Conference Paper %1 conf/snapl/SiekVCB15 %A Siek, Jeremy G. %A Vitousek, Michael M. %A Cimini, Matteo %A Boyland, John Tang %B SNAPL %D 2015 %E Ball, Thomas %E Bodík, Rastislav %E Krishnamurthi, Shriram %E Lerner, Benjamin S. %E Morrisett, Greg %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 274-293 %T Refined Criteria for Gradual Typing. %U http://dblp.uni-trier.de/db/conf/snapl/snapl2015.html#SiekVCB15 %V 32 %@ 978-3-939897-80-4

@inproceedings{conf/snapl/SiekVCB15, added-at = {2018-08-23T00:00:00.000+0200}, author = {Siek, Jeremy G. and Vitousek, Michael M. and Cimini, Matteo and Boyland, John Tang}, biburl = {https://www.bibsonomy.org/bibtex/23e8633647af95a4aa3d8a69f1e2b85eb/dblp}, booktitle = {SNAPL}, crossref = {conf/snapl/2015}, editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morrisett, Greg}, ee = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.274}, interhash = {ce88f535d72b48a3e68dbab6606685b6}, intrahash = {3e8633647af95a4aa3d8a69f1e2b85eb}, isbn = {978-3-939897-80-4}, keywords = {dblp}, pages = {274-293}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-07-15T07:11:30.000+0200}, title = {Refined Criteria for Gradual Typing.}, url = {http://dblp.uni-trier.de/db/conf/snapl/snapl2015.html#SiekVCB15}, volume = 32, year = 2015 }