Dynamics in ML Export

@inbook{citeulike:139564, abstract = {Objects with dynamic types allow the integration of operations that essentially require run-time type-checking into statically-typed languages. This paper presents two extensions of the ML language with dynamics, based on what has been done in the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism.}, address = {Berlin, Heidelberg, New York}, author = {Leroy, Xavier and Mauny, Michel}, booktitle = {Functional Programming Languages and Computer Architecture, 5th ACM Conference}, citeulike-article-id = {139564}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.3311}, editor = {Hughes, J.}, keywords = {dynamic-types, ml, types}, pages = {406--426}, posted-at = {2005-03-25 04:25:29}, priority = {2}, publisher = {Springer-Verlag}, title = {Dynamics in ML}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.3311}, volume = {523}, year = {1991} }

TY - CHAP ID - citeulike:139564 L3 - citeulike-article-id:139564 N2 - Objects with dynamic types allow the integration of operations that essentially require run-time type-checking into statically-typed languages. This paper presents two extensions of the ML language with dynamics, based on what has been done in the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism. AD - Berlin, Heidelberg, New York EP - 426 TI - Dynamics in ML PB - Springer-Verlag VL - 523 T2 - Functional Programming Languages and Computer Architecture, 5th ACM Conference SP - 406 KW - dynamic-types KW - ml KW - types AU - Leroy, Xavier AU - Mauny, Michel A2 - Hughes, J PY - 1991/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.3311 ER -