ligd: Lightweight Implementation of Generics and Dynamics
This is the basic representation types for the LIGD library. It is currently incomplete with respect to the paper. We hope to rectify that in the future.
See the following publication for details.
J. Cheney and R. Hinze. "A lightweight implementation of generics and dynamics." In Haskell 2002. pp. 90-104.
Downloads
- ligd-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2 |
---|---|
Dependencies | base (<100) [details] |
License | BSD-3-Clause |
Copyright | (c) 2011 Universiteit Utrecht |
Author | Sean Leather |
Maintainer | Sean Leather <leather@cs.uu.nl> |
Category | Generics |
Home page | https://github.com/spl/ligd |
Source repo | head: git clone git://github.com/spl/ligd.git |
Uploaded | by SeanLeather at 2011-09-15T21:50:00Z |
Distributions | NixOS:0.2 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1840 total (12 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] |