%0 Journal Article %1 journals/jfp/HouBH17 %A (Favonia), Kuen-Bang Hou %A Benton, Nick %A Harper, Robert %D 2017 %J J. Funct. Program. %K dblp %P e1 %T Correctness of compiling polymorphism to dynamic typing. %U http://dblp.uni-trier.de/db/journals/jfp/jfp27.html#HouBH17 %V 27

@article{journals/jfp/HouBH17, added-at = {2018-11-30T00:00:00.000+0100}, author = {(Favonia), Kuen-Bang Hou and Benton, Nick and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/246f35cf1bde3dbd2f533c567e92217b1/dblp}, ee = {https://doi.org/10.1017/S0956796816000265}, interhash = {7d3a10b056f86e7aa41a00578cb91c37}, intrahash = {46f35cf1bde3dbd2f533c567e92217b1}, journal = {J. Funct. Program.}, keywords = {dblp}, pages = {e1}, timestamp = {2018-12-01T11:56:12.000+0100}, title = {Correctness of compiling polymorphism to dynamic typing.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp27.html#HouBH17}, volume = 27, year = 2017 }