Marco Bellia, M. Eugenia Occhiuto. Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. Fundamenta Informaticae, 128(1-2):17-33, 2013. [doi]
@article{BelliaO13-0, title = {Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types}, author = {Marco Bellia and M. Eugenia Occhiuto}, year = {2013}, doi = {10.3233/FI-2013-930}, url = {http://dx.doi.org/10.3233/FI-2013-930}, researchr = {https://researchr.org/publication/BelliaO13-0}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {128}, number = {1-2}, pages = {17-33}, }