%0 Journal Article %1 journals/pacmpl/MiyazakiSI19 %A Miyazaki, Yusuke %A Sekiyama, Taro %A Igarashi, Atsushi %D 2019 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 18:1-18:29 %T Dynamic type inference for gradual Hindley-Milner typing. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MiyazakiSI19 %V 3

@article{journals/pacmpl/MiyazakiSI19, added-at = {2021-07-25T00:00:00.000+0200}, author = {Miyazaki, Yusuke and Sekiyama, Taro and Igarashi, Atsushi}, biburl = {https://www.bibsonomy.org/bibtex/20e608df922bde8b99b358799a6efe06c/dblp}, ee = {https://doi.org/10.1145/3290331}, interhash = {e08817b68aee4b54d7f3e580e2238e86}, intrahash = {0e608df922bde8b99b358799a6efe06c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {18:1-18:29}, timestamp = {2024-04-08T09:54:24.000+0200}, title = {Dynamic type inference for gradual Hindley-Milner typing.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MiyazakiSI19}, volume = 3, year = 2019 }