596 search results - page 41 / 120 » Subtyping Recursive Types |
130
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
106
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
114
click to vote
ITP
2010
15 years 5 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
108
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
105
click to vote
ECOOP
1999
Springer
15 years 5 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...