596 search results - page 49 / 120 » Subtyping Recursive Types |
138
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...
103
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
145
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...