45 search results - page 1 / 9 » Lightweight monadic regions |
HASKELL
2008
ACM
13 years 5 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...
ICFP
2004
ACM
14 years 4 months ago
2004
ACM
HASKELL
2008
ACM
13 years 5 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
POPL
2008
ACM
14 years 4 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
ICDE
2007
IEEE
14 years 5 months ago
2007
IEEE
Position updates and query re-evaluations are two predominant, costly components of processing location-based, continual queries (CQs) in mobile systems. To obtain high-quality qu...