4421 search results - page 325 / 885 » Libraries |
144
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
PIPES is a flexible and extensible infrastructure providing fundamental building blocks to implement a data stream management system (DSMS). It is seamlessly integrated into the J...
176
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
147
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
127
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
129
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...