267 search results - page 37 / 54 » Formal Parametric Polymorphism |
94
Voted
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
99
Voted
SAS
2005
Springer
15 years 7 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
99
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
101
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
134
click to vote
IFL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...