1614 search results - page 184 / 323 » Polymorphism and Genetic Programming |
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
68
Voted
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
92
Voted
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
108
Voted
PEPM
1994
ACM
15 years 3 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
92
Voted
POPL
1997
ACM
15 years 2 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...