Local type inference. Pierce, B. C. & Turner, D. N. ACM Trans. Program. Lang. Syst., 22(1):1-44, 2000.
Link bibtex @article{ DBLP:journals/toplas/PierceT00,
author = {Benjamin C. Pierce and David N. Turner},
title = {Local type inference},
journal = {ACM Trans. Program. Lang. Syst.},
pages = {1-44},
volume = {22},
number = {1},
ee = {http://doi.acm.org/10.1145/345099.345100} ,
year = {2000}
}
Downloads: 0
{"_id":{"_str":"5216bf42a941257561000964"},"__v":9,"authorIDs":["5458b5e9b43425b7720001a7","54606d5acff45d9c64000040"],"author_short":["Pierce, B. C.","Turner, D. N."],"bibbaseid":"pierce-turner-localtypeinference-2000","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["David","N."],"propositions":[],"lastnames":["Turner"],"suffixes":[]}],"title":"Local type inference","journal":"ACM Trans. Program. Lang. Syst.","pages":"1-44","volume":"22","number":"1","ee":"http://doi.acm.org/10.1145/345099.345100","year":"2000","bibtex":"@article{ DBLP:journals/toplas/PierceT00,\n author = {Benjamin C. Pierce and David N. Turner},\n title = {Local type inference},\n journal = {ACM Trans. Program. Lang. Syst.},\n pages = {1-44},\n volume = {22},\n number = {1},\n ee = {http://doi.acm.org/10.1145/345099.345100} ,\n year = {2000}\n}\n\n\n","author_short":["Pierce, B. C.","Turner, D. N."],"key":"DBLP:journals/toplas/PierceT00","id":"DBLP:journals/toplas/PierceT00","bibbaseid":"pierce-turner-localtypeinference-2000","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/345099.345100"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/benjamin-c-pierce/?format=bibtex","downloads":0,"keywords":[],"search_terms":["local","type","inference","pierce","turner"],"title":"Local type inference","title_words":["local","type","inference"],"year":2000,"dataSources":["spTtrLGzwtPFw72mR"]}