The essence of static and dynamic bindings.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca · 2009
Static binding is the standard binding discipline in programming languages. However, the demands of developing distributed, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Typically, this needs are satisfied by hoc mechanisms that lack clean semantics. In this paper, we adopt a foundational approach, developing a core dynamic