2 search results - page 1 / 1 » Subtyping Union Types |
121
click to vote
APAL
2008
15 years 3 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
106
click to vote
APAL
2008
15 years 3 months ago
2008
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the th...