1729 search results - page 34 / 346 » Generic Haskell: Applications |
RTAS
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
ECMDAFA
2008
Springer
13 years 11 months ago
2008
Springer
The increasing complexity of software applications requires improved software development techniques in order to cope with, a.o., software reuse and evolution, the management of he...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
JFP
2007
13 years 10 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...