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)
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 |
Downloads | 1655 total (1 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] |