The latest version of reflection is 2.1.8-0.
reflection
Version 0.4.0.2 revision 0 uploaded by EdwardKmett.
Package meta
- Synopsis
- Functional Pearl: Implicit Configurations
- Description
Implementation of the ideas presented in the paper "Functional Pearl: Implicit Configurations" by Oleg Kiselyov and Chung-chieh Shan. Modified to avoid the use of scoped type variables, and to use a phantom type wrapper rather than dummy arguments.
- Author
- Edward A. Kmett, Oleg Kiselyov and Chung-chieh Shan
- Bug reports
- n/a
- Category
- Data, Reflection, Dependent Types
- Copyright
- 2009 Edward A. Kmett, 2004 Oleg Kiselyov and Chung-chieh Shan
- Homepage
- http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- experimental