10585 search results - page 379 / 2117 » The Orc Programming Language |
162
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
174
click to vote
ML
2007
ACM
15 years 6 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
213
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
150
Voted
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
143
click to vote
FPCA
1991
15 years 10 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...