%0 Conference Paper %1 conf/sbmf/FeitosaRB18 %A da Silva Feitosa, Samuel %A Ribeiro, Rodrigo Geraldo %A Bois, André Rauber Du %B SBMF %D 2018 %E Massoni, Tiago %E Mousavi, Mohammad Reza %I Springer %K dblp %P 39-55 %T A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2018.html#FeitosaRB18 %V 11254 %@ 978-3-030-03044-5

@inproceedings{conf/sbmf/FeitosaRB18, added-at = {2019-05-10T00:00:00.000+0200}, author = {da Silva Feitosa, Samuel and Ribeiro, Rodrigo Geraldo and Bois, André Rauber Du}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26ddf1232c953c2bdee419cc4b0f28a2c/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2018}, editor = {Massoni, Tiago and Mousavi, Mohammad Reza}, ee = {https://doi.org/10.1007/978-3-030-03044-5_4}, interhash = {ce814e7ab54cc4321e881f245433fc1f}, intrahash = {6ddf1232c953c2bdee419cc4b0f28a2c}, isbn = {978-3-030-03044-5}, keywords = {dblp}, pages = {39-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:20:57.000+0200}, title = {A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2018.html#FeitosaRB18}, volume = 11254, year = 2018 }