%0 Journal Article %1 abadi1991a %A Abadi, Martin %A Cardelli, Luca %A Pierce, Benjamin %A Plotkin, Gordon %D 1991 %J ACM Transactions on Programming Languages and Systems %K types popl91 binder %N 2 %P 237--268 %T Dynamic Typing in a Statically Typed Language %U ftp://ftp.cs.indiana.edu/pub/pierce/dynamic.ps.gz %V 13 %X Statically typed programming languages allow earlier error checking, better enforcement of disciplined programming styles, and generation of more efficient object code than languages where all type consistency checks are performed at run time. However, even in statically typed languages, there is often the need to deal with data whose type cannot be determined at compile time. To handle such situations safely, we propose to add a type Dynamic whose values are pairs of a value v and a type tag T where v has the type denoted by T. Instances of Dynamic are built with an explicit tagging construct and inspected with a type safe typecas construct. This paper explores the syntax, operational semantics, and denotational semantics of a simple language including the type Dynamic.

@article{abadi1991a, abstract = {Statically typed programming languages allow earlier error checking, better enforcement of disciplined programming styles, and generation of more efficient object code than languages where all type consistency checks are performed at run time. However, even in statically typed languages, there is often the need to deal with data whose type cannot be determined at compile time. To handle such situations safely, we propose to add a type Dynamic whose values are pairs of a value v and a type tag T where v has the type denoted by T. Instances of Dynamic are built with an explicit tagging construct and inspected with a type safe typecas construct. This paper explores the syntax, operational semantics, and denotational semantics of a simple language including the type Dynamic.}, added-at = {2006-03-09T08:15:35.000+0100}, author = {Abadi, Martin and Cardelli, Luca and Pierce, Benjamin and Plotkin, Gordon}, biburl = {https://www.bibsonomy.org/bibtex/2ec8fa8ea38e69d78e69f8a8e03b73a08/snowball}, interhash = {67552f28601cd657360b2a59fa3f9823}, intrahash = {ec8fa8ea38e69d78e69f8a8e03b73a08}, journal = {ACM Transactions on Programming Languages and Systems}, keywords = {types popl91 binder}, month = {April}, number = 2, pages = {237--268}, timestamp = {2006-03-09T08:15:35.000+0100}, title = {Dynamic Typing in a Statically Typed Language}, url = {ftp://ftp.cs.indiana.edu/pub/pierce/dynamic.ps.gz}, volume = 13, year = 1991 }