5415 search results - page 69 / 1083 » The Implementation of Functional Programming Languages |
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
LCPC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
WOA
2003
13 years 10 months ago
2003
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...