ligd: Lightweight Implementation of Generics and Dynamics

[ bsd3, generics, library ] [ Propose Tags ] [ Report a vulnerability ]

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

Maintainer's Corner

Package maintainers

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]