Sciweavers

132 search results - page 11 / 27
» Scala for generic programmers
Sort
View
CORR
2002
Springer
104views Education» more  CORR 2002»
13 years 7 months ago
Design Patterns for Functional Strategic Programming
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
Ralf Lämmel, Joost Visser
ICFP
2003
ACM
14 years 7 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
14 years 9 days ago
First Steps in Programming: A Rationale for Attention Investment Models
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
Alan F. Blackwell
EUROPAR
2010
Springer
13 years 8 months ago
Exceptions for Algorithmic Skeletons
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
Mario Leyton, Ludovic Henrio, José M. Pique...
FGCS
2002
80views more  FGCS 2002»
13 years 7 months ago
GridLab--a grid application toolkit and testbed
In this paper we present the new project called GridLab which is funded by the European Commission under the Fifth Framework Programme. The GridLab project, made up of computer sc...
Edward Seidel, Gabrielle Allen, André Merzk...