596 search results - page 31 / 120 » Subtyping Recursive Types |
ENTCS
2006
15 years 1 months ago
2006
TOPLAS
1998
15 years 29 days ago
1998
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...