3001 search results - page 13 / 601 » Recursive type generativity |
MSCS
2010
13 years 7 months ago
2010
tations of imperative abstract data types.
LICS
2003
IEEE
14 years 2 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
14 years 8 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
14 years 2 months ago
2005
IEEE
LICS
1998
IEEE
14 years 29 days ago
1998
IEEE