1729 search results - page 31 / 346 » Generic Haskell: Applications |
EUSAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this article we identify the general communication patterns of physical devices and define all interfaces and conflict resolution strategies that are present in any ...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
CEFP
2005
Springer
14 years 3 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
ICFP
2003
ACM
14 years 10 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...