Local Type Inference Export

@inproceedings{citeulike:888490, abstract = {We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are local in the sense that missing annotations are recovered using only information from adjacent nodes in the syntax tree, without long-distance constraints such as unification variables. One method infers type arguments in polymorphic applications using a local constraint solver. The other infers annotations on bound variables in function abstractions by propagating...}, address = {New York, NY}, author = {Pierce, Benjamin C. and Turner, David N.}, booktitle = {Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California}, citeulike-article-id = {888490}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/pierce98local.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/pierce98local.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/pierce98local.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/pierce98local.html}, keywords = {type-inference, types}, pages = {252--265}, posted-at = {2006-10-07 16:24:09}, priority = {2}, title = {Local Type Inference}, url = {http://citeseer.ist.psu.edu/pierce98local.html}, year = {1998} }

TY - CONF ID - citeulike:888490 L3 - citeulike-article-id:888490 N2 - We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are local in the sense that missing annotations are recovered using only information from adjacent nodes in the syntax tree, without long-distance constraints such as unification variables. One method infers type arguments in polymorphic applications using a local constraint solver. The other infers annotations on bound variables in function abstractions by propagating... AD - New York, NY EP - 265 TI - Local Type Inference T2 - Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California SP - 252 KW - type-inference KW - types AU - Pierce, Benjamin AU - Turner, David PY - 1998/// UR - http://citeseer.ist.psu.edu/pierce98local.html ER -