98 search results - page 2 / 20 » Binding-Time Analysis for Polymorphic Types |
133
click to vote
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
122
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
116
click to vote
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
117
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
112
click to vote
TIC
1998
Springer
15 years 6 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...