Sciweavers

47 search results - page 3 / 10
» haskell 2009
Sort
View
DSL
2009
13 years 2 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
AAIP
2009
13 years 6 months ago
Porting IgorII from Maude to Haskell
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmi...
PLPV
2009
ACM
14 years 1 months ago
Type invariants for Haskell
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
Tom Schrijvers, Louis-Julien Guillemette, Stefan M...
SLE
2009
Springer
13 years 11 months ago
Declarative Scripting in Haskell
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
Tim Bauer, Martin Erwig
PADL
2009
Springer
14 years 5 months ago
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
Ketil Malde, Bryan O'Sullivan