CCA: preprocessor and library for Causal Commutative Arrows (CCA)

[ bsd3, development, library, program ] [ Propose Tags ]

A library that provides normalization support via Template Haskell for CCAs, and a modified preprocessor based on Ross Patterson's arrowp that reads Haskell with arrow notation and outputs Haskell 98 + Template Haskell sources for use with CCA library.

[Skip to Readme]

Modules

[Index]

Control
- Control.CCA
  - Control.CCA.CCNF
  - Control.CCA.Types
Language
- Haskell
  - TH
    - Language.Haskell.TH.Instances

Downloads

CCA-0.1.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

PaulLiu

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.1.1, 0.1.3, 0.1.4, 0.1.5, 0.1.5.1, 0.1.5.2, 0.1.5.3
Dependencies	array, base (>=3 && <5), containers, ghc-prim, haskell-src, syb, template-haskell [details]
License	BSD-3-Clause
Author	Paul H Liu <paul@thev.net>, Eric Cheng <eric.cheng@yale.edu>
Maintainer	Paul H Liu <paul@thev.net>
Category	Development
Home page	not available
Uploaded	by PaulLiu at 2009-09-09T21:09:59Z
Distributions
Reverse Dependencies	3 direct, 6 indirect [details]
Executables	ccap
Downloads	9083 total (20 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]

Readme for CCA-0.1.1

[back to package description]

A Library and Preprocessor for Causal Commutative Arrows (CCA)
==============================================================

This library implements the CCA normalization described in the paper [1].
It uses Template Haskell as a staged compilation for arrow programs written
in arrow syntax. A modified arrow preprocesor based on Paterson's arrowp
program, now called ccap, is provided to help preparing proper input to 
Template Haskell. 

Note that this is a preliminary release, and still very experiment. Please
send your feedbacks directly to Paul H. Liu <paul@thev.net>, as well as
Eric Cheng <eric.cheng@yale.edu>. All suggestions are welcome.

----
Last Modified: Wed Sep 09 EDT 2009

[1]: Hai Liu, Eric Cheng, and Paul Hudak. Causal Commutative Arrows and Their
Optimization. Proceedings of the 14th ACM SIGPLAN International Conference on
Functional Programming (ICFP 2009). Edinburgh, Scotland. August 2009