91
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
120
Voted
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...
107
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
91
Voted
HASKELL
2008
ACM
15 years 2 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...
94
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
85
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
107
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
92
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
117
Voted
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...