1185 search results - page 14 / 237 » Implementing Functional Languages: a tutorial |
141
Voted
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
170
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
137
click to vote
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
117
Voted
HASKELL
2008
ACM
15 years 3 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...
116
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional dataparallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, a...