516 search results - page 1 / 104 » Dynamic Typing in a Statically-Typed Language |
POPL
1989
ACM
13 years 9 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
TOOLS
2008
IEEE
13 years 12 months ago
2008
IEEE
POPL
2000
ACM
13 years 10 months ago
2000
ACM
DLS
2007
13 years 9 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
POPL
2011
ACM
12 years 8 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...