haskell

White Papers

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

January 30, 2012 12:00am PST

The authors present the initial design, implementation and preliminary evaluation of a new distributed memory parallel Haskell, HdpH. The language is a shallowly embedded parallel extension of...

Provided by: Heriot-Watt University

Software

Real World Haskell 1.1 (Mobile)

February 22, 2010 12:00am PST

By Bryan O'Sullivan, Donald Bruce Stewart, and John GoerzenPublished by O'Reilly Media (http://oreilly.com/catalog/9780596514983/)This easy-to-use, fast-moving tutorial introduces you to...

Provided by: O'Reilly Media, Inc.

White Papers

Customizing an XML - Haskell Data Binding With Type Isomorphism Inference in Generic Haskell

May 4, 2006 12:00am PDT

An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a type-preserving XML - Haskell data binding UUXML that handles documents typed...

Provided by: Utrecht University

White Papers

Region-Based Dynamic Separation for STM Haskell

May 16, 2011 12:00am PDT

The authors present the first design and implementation of dynamic separation in STM Haskell. Dynamic separation is a recent approach to Software Transactional Memory (STM) that achieves...

Provided by: University of Washington

White Papers

Exchanging Sources Between Clean and Haskell: A Double-Edged Front End for the Clean Compiler

September 30, 2010 12:00am PDT

The functional programming languages Clean and Haskell have been around for over two decades. Over time, both languages have developed a large body of useful libraries and come with interesting...

Provided by: Association for Computing Machinery

White Papers

Adaptation-Based Programming in Haskell

September 5, 2011 12:00am PDT

The authors present an embedded DSL to support Adaptation-Based Programming (ABP) in Haskell. ABP is an abstract model for defining adaptive values, called adaptives, which adapt in response to...

Provided by: Oregon State University

White Papers

Programming Future Parallel Architectures With Haskell and Intel ArBB

May 21, 2011 12:00am PDT

New parallel architectures, such as Cell, Intel MIC, GPUs, and tiled architectures, enable high performance but are often hard to program. What is needed is a bridge between high-level programming...

Provided by: Chalmers University of Technology

White Papers

Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-Language Calls in Haskell

April 7, 2010 12:00am PDT

Functional programming may be beautiful, but to write real applications one must grapple with awkward real-world issues: input/output, robustness, concurrency, and interfacing to programs written...

Provided by: Microsoft

White Papers

A Tutorial on Parallel and Concurrent Programming in Haskell

May 11, 2009 12:00am PDT

This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. The paper first describes how to write semi-explicit parallel programs by using...

Provided by: Microsoft

White Papers

Low-Pain, High-Gain Multicore Programming in Haskell: Coordinating Irregular Symbolic Computations on MultiCore Architectures

January 20, 2009 12:00am PST

With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskell, are, in...

Provided by: Association for Computing Machinery

White Papers

A Deterministic Multi-Way Rendezvous Library for Haskell

January 21, 2008 12:00am PST

The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, many concurrent...

Provided by: Columbia University

White Papers

Haskell Program Coverage

September 30, 2007 12:00am PDT

The authors 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 program...

Provided by: Association for Computing Machinery

White Papers

Can GUI Programming Be Liberated From the IO Monad

January 1, 2008 12:00am PST

GUI programming in Haskell has developed along two lines: a purely functional one that includes Fudgets, FranTk, and, most recently, Fruit while a more conventional field of research has let to...

Provided by: Association for Computing Machinery

White Papers

KiCS2: A New Compiler From Curry to Haskell

May 10, 2011 12:00am PDT

In this paper, the authors present their first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Their...

Provided by: Christian-Albrechts-Universitat zu Kiel

White Papers

Encoding Information Flow in Haskell

January 1, 2011 12:00am PST

This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful information-flow control...

Provided by: University of Pennsylvania

White Papers

Seq No More: Better Strategies for Parallel Haskell

September 30, 2010 12:00am PDT

The authors present a complete redesign of evaluation strategies, a key abstraction for specifying pure, deterministic parallelism in Haskell. Their new formulation preserves the compositionality...

Provided by: Association for Computing Machinery

White Papers

Low Pain Vs No Pain Multi-Core Haskells

September 30, 2009 12:00am PDT

Multicores are becoming the dominant processor technology and functional languages are theoretically well suited to exploit them. In practice, however, implementing effective high level parallel...

Provided by: Heriot-Watt University

White Papers

A Concurrent Constraint Handling Rules Implementation in Haskell With Software Transactional Memory

January 9, 2007 12:00am PST

Constraint Handling Rules (CHR) is a concurrent committed choice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (atomic formulae)....

Provided by: National University of Singapore

Articles

A Quickstart to Haskell

October 22, 2007 5:33pm PDT

Haskell is a functional programming language, in some ways similiar to ML or Erlang. Programming in functional languages can be a bit of a challenge to people used to standard, imperative methods....

White Papers

Experience Report: SeL4 Formally Verifying a High-Performance Microkernel

September 2, 2009 12:00am PDT

The authors report on their experience using the functional programming language Haskell in the formal verification of the seL4 microkernel (Elphinstone et al. 2007). The seL4 kernel is an...

Provided by: Association for Computing Machinery