Sciweavers

516 search results - page 3 / 104
» Dynamic Typing in a Statically-Typed Language
Sort
View
KBSE
2009
IEEE
14 years 3 months ago
Static Typing for Ruby on Rails
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
ECOOP
2010
Springer
13 years 10 months ago
Adding Dynamic Types to C#
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
ESOP
2006
Springer
14 years 14 days ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires
POPL
2010
ACM
14 years 6 months ago
Integrating Typed and Untyped Code in a Scripting Language
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
Francesco Zappa Nardelli, Jan Vitek, Johan Ös...
ECOOP
1999
Springer
14 years 1 months ago
Modular Statically Typed Multimethods
Todd D. Millstein, Craig Chambers