3001 search results - page 13 / 601 » Recursive type generativity |
MSCS
2010
14 years 10 months ago
2010
tations of imperative abstract data types.
100
click to vote
LICS
2003
IEEE
15 years 5 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...
ICFP
2008
ACM
15 years 11 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...
81
Voted
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
76
Voted
LICS
1998
IEEE
15 years 4 months ago
1998
IEEE