Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML Export

@inproceedings{citeulike:849914, abstract = {We describe a new method for polymorphic type inference for the dynamically typed language Scheme. The method infers both types and explicit run-time type operations (coercions) for a given program. It can be used to statically debug Scheme programs and to give a high-level translation to ML, in essence providing an \"embedding\" of Scheme into ML. Our method combines the following desirable properties: ffl It is liberal in that no legal Scheme programs are \"rejected \" outright by the type...}, author = {Henglein, Fritz and Rehof, Jakob}, booktitle = {Proc. ACM Conf. on Functional Programming Languages and Computer Architecture ({FPCA}), La Jolla, California}, citeulike-article-id = {849914}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.5004}, keywords = {multilang, type-safety}, posted-at = {2006-10-22 17:44:16}, priority = {2}, publisher = {ACM Press}, title = {Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to {ML}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.5004}, year = {1995} }

TY - CONF ID - citeulike:849914 L3 - citeulike-article-id:849914 N2 - We describe a new method for polymorphic type inference for the dynamically typed language Scheme. The method infers both types and explicit run-time type operations (coercions) for a given program. It can be used to statically debug Scheme programs and to give a high-level translation to ML, in essence providing an "embedding" of Scheme into ML. Our method combines the following desirable properties: ffl It is liberal in that no legal Scheme programs are "rejected " outright by the type... TI - Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to {ML} PB - ACM Press T2 - Proc. ACM Conf. on Functional Programming Languages and Computer Architecture ({FPCA}), La Jolla, California KW - multilang KW - type-safety AU - Henglein, Fritz AU - Rehof, Jakob PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.5004 ER -