Dynamic Typing as Staged Type Inference Export

@inproceedings{citeulike:4195, abstract = {Dynamic typing extends statically typed languages with a universal datatype, simplifying programs which must manipulate other programs as data, such as distributed, persistent, interpretive and generic programs. Current approaches, however, limit the use of polymorphism in dynamic values, and can be syntactically awkward. We introduce a new approach to dynamic typing, based on staged computation, which allows a single type-reconstruction algorithm to execute partly at compile time and partly at ...}, author = {Shields, Mark and Sheard, Tim and Simon, S. L. P.}, booktitle = {Symposium on Principles of Programming Languages}, citeulike-article-id = {4195}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3048}, keywords = {dynamic-types, multi-stage-programming, types}, pages = {289--302}, posted-at = {2005-03-25 04:47:02}, priority = {2}, title = {Dynamic Typing as Staged Type Inference}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3048}, year = {1998} }

TY - CONF ID - citeulike:4195 L3 - citeulike-article-id:4195 N2 - Dynamic typing extends statically typed languages with a universal datatype, simplifying programs which must manipulate other programs as data, such as distributed, persistent, interpretive and generic programs. Current approaches, however, limit the use of polymorphism in dynamic values, and can be syntactically awkward. We introduce a new approach to dynamic typing, based on staged computation, which allows a single type-reconstruction algorithm to execute partly at compile time and partly at ... EP - 302 TI - Dynamic Typing as Staged Type Inference T2 - Symposium on Principles of Programming Languages SP - 289 KW - dynamic-types KW - multi-stage-programming KW - types AU - Shields, Mark AU - Sheard, Tim AU - Simon, SLP PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3048 ER -