Gradual typing for functional languages Export

@inproceedings{Siek:2006:Gradual, abstract = {Static and dynamic type systems have well-known strengths and weaknesses, and each is better suited for different programming tasks. There have been many efforts to integrate static and dynamic typing and thereby combine the benefits of both typing disciplines in the same language. The flexibility of static typing can be improved by adding a type Dynamic and a typecase form. The safety and performance of dynamic typing can be improved by adding optional type annotations or by performing type...}, author = {Siek, Jeremy G. and Taha, Walid}, booktitle = {Scheme and Functional Programming Workshop}, citeulike-article-id = {2841470}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.8890}, keywords = {type-theory}, month = {September}, posted-at = {2009-07-15 05:33:35}, priority = {2}, title = {Gradual typing for functional languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.8890}, year = {2006} }

TY - CONF ID - Siek:2006:Gradual L3 - citeulike-article-id:2841470 N2 - Static and dynamic type systems have well-known strengths and weaknesses, and each is better suited for different programming tasks. There have been many efforts to integrate static and dynamic typing and thereby combine the benefits of both typing disciplines in the same language. The flexibility of static typing can be improved by adding a type Dynamic and a typecase form. The safety and performance of dynamic typing can be improved by adding optional type annotations or by performing type... TI - Gradual typing for functional languages T2 - Scheme and Functional Programming Workshop KW - type-theory AU - Siek, Jeremy AU - Taha, Walid PY - 2006/September// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.8890 ER -