596 search results - page 31 / 120 » Subtyping Recursive Types |
83
Voted
ENTCS
2006
15 years 2 months ago
2006
78
Voted
TOPLAS
1998
15 years 2 months ago
1998
ICFP
2006
ACM
16 years 2 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...
109
click to vote
APLAS
2007
ACM
15 years 6 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...
104
click to vote
CORR
2008
Springer
15 years 29 days 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...