%0 Conference Paper %1 conf/ecoop/AnconaC14 %A Ancona, Davide %A Corradi, Andrea %B ECOOP %D 2014 %E Jones, Richard E. %I Springer %K dblp %P 282-307 %T Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2014.html#AnconaC14 %V 8586 %@ 978-3-662-44201-2

@inproceedings{conf/ecoop/AnconaC14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ancona, Davide and Corradi, Andrea}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/231d36aeffdb8582113f65a9285a3fec3/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2014}, editor = {Jones, Richard E.}, ee = {https://doi.org/10.1007/978-3-662-44202-9_12}, interhash = {f49846b55d6a05360ce7b6f24c534b28}, intrahash = {31d36aeffdb8582113f65a9285a3fec3}, isbn = {978-3-662-44201-2}, keywords = {dblp}, pages = {282-307}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:12:35.000+0200}, title = {Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2014.html#AnconaC14}, volume = 8586, year = 2014 }