%0 Journal Article %1 journals/fuin/BelliaO13 %A Bellia, Marco %A Occhiuto, M. Eugenia %D 2013 %J Fundam. Informaticae %K dblp %N 1-2 %P 17-33 %T Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. %U http://dblp.uni-trier.de/db/journals/fuin/fuin128.html#BelliaO13 %V 128

@article{journals/fuin/BelliaO13, added-at = {2020-09-18T00:00:00.000+0200}, author = {Bellia, Marco and Occhiuto, M. Eugenia}, biburl = {https://www.bibsonomy.org/bibtex/258c92ee5087987bc4d5a71addb15439a/dblp}, ee = {https://doi.org/10.3233/FI-2013-930}, interhash = {45119f72ed9b8c63440a5d6f5a9ef2a4}, intrahash = {58c92ee5087987bc4d5a71addb15439a}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {17-33}, timestamp = {2020-09-19T11:38:34.000+0200}, title = {Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin128.html#BelliaO13}, volume = 128, year = 2013 }