Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
HASKELL
2007
ACM
11 years 12 months ago
Beauty in the beast
Wouter Swierstra, Thorsten Altenkirch
HASKELL
2007
ACM
11 years 12 months ago
A functional-logic library for wired
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
Matthew Naylor, Emil Axelsson, Colin Runciman
HASKELL
2007
ACM
11 years 12 months ago
Uniform boilerplate and list processing
Neil Mitchell, Colin Runciman
HASKELL
2007
ACM
11 years 12 months ago
A lightweight interactive debugger for haskell
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
Simon Marlow, José Iborra, Bernard Pope, An...
HASKELL
2007
ACM
11 years 12 months ago
Why it's nice to be quoted: quasiquoting for haskell
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
Geoffrey Mainland
HASKELL
2007
ACM
11 years 12 months ago
Lightweight concurrency primitives for GHC
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
Peng Li, Simon Marlow, Simon L. Peyton Jones, Andr...
HASKELL
2007
ACM
11 years 12 months ago
Comprehensive comprehensions
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...
Simon L. Peyton Jones, Philip Wadler
HASKELL
2007
ACM
11 years 12 months ago
A type-preserving closure conversion in haskell
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
Louis-Julien Guillemette, Stefan Monnier
HASKELL
2007
ACM
11 years 12 months ago
Haskell program coverage
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
Andy Gill, Colin Runciman
HASKELL
2007
ACM
11 years 12 months ago
A shortcut fusion rule for circular program calculation
João Paulo Fernandes, Alberto Pardo, Jo&ati...
books