283 search results - page 34 / 57 » Functional Pearls: Probabilistic functional programming in H... |
105
click to vote
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
101
Voted
ICFP
2003
ACM
16 years 1 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...
120
click to vote
TREC
2004
15 years 2 months ago
2004
The quality of an information retrieval system heavily depends on its retrieval function, which returns a similarity measurement between the query and each document in the collect...
107
click to vote
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
159
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...