Typing dynamic typing
- 17 September 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (9) , 157-166
- https://doi.org/10.1145/581478.581494
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Type-safe castPublished by Association for Computing Machinery (ACM) ,2000
- Growing a LanguageHigher-Order and Symbolic Computation, 1999
- Encoding types in ML-like languagesPublished by Association for Computing Machinery (ACM) ,1998
- Dynamic typing as staged type inferencePublished by Association for Computing Machinery (ACM) ,1998
- Dynamic typing in polymorphic languagesJournal of Functional Programming, 1995
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Parsing distfix operatorsCommunications of the ACM, 1986
- Syntax macros and extended translationCommunications of the ACM, 1966