1614 search results - page 7 / 323 » Polymorphism and Genetic Programming |
106
Voted
PSB
2001
15 years 6 months ago
2001
127
Voted
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
115
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
150
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
124
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...