3001 search results - page 13 / 601 » Recursive type generativity |
80
Voted
MSCS
2010
15 years 8 days ago
2010
tations of imperative abstract data types.
116
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
111
Voted
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
94
Voted
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE