248 search results - page 4 / 50 » Phantom types and subtyping |
123
click to vote
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
106
click to vote
TIM
2010
14 years 8 months ago
2010
Electrical capacitance tomography (ECT) attempts to image the permittivity distribution of an object by measuring the electrical capacitance between sets of electrodes placed aroun...
103
click to vote
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
77
Voted
ENTCS
2006
15 years 1 months ago
2006
128
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...