596 search results - page 12 / 120 » Subtyping Recursive Types |
76
Voted
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
101
click to vote
HASKELL
2008
ACM
15 years 22 days 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...
108
click to vote
ENTCS
2002
14 years 11 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
15 years 4 months ago