516 search results - page 1 / 104 » Dynamic Typing in a Statically-Typed Language |
88
Voted
POPL
1989
ACM
15 years 1 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...
89
Voted
TOOLS
2008
IEEE
15 years 3 months ago
2008
IEEE
POPL
2000
ACM
15 years 1 months ago
2000
ACM
115
Voted
DLS
2007
15 years 1 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
14 years 9 days 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...