- Implicit configurations - or, type classes reflect the value of types (PDF) http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf 3 comments programming
Lambda the Ultimate
- Functional Pearl: Implicit Conï¬gurations —or, Type Classes Reflect the Values of Types http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf 3 comments
Linking pages
- Fixed-Length Vector Types in Haskell, 2015 · in Code http://blog.jle.im/entry/fixed-length-vector-types-in-haskell-2015 18 comments
- GitHub - mikeizbicki/typeparams: Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation https://github.com/mikeizbicki/typeparams#the-typeparams-library 14 comments
Related searches:
Search whole site: site:www.cs.rutgers.edu
Search title: Implicit configurations - or, type classes reflect the value of types (PDF)
See how to search.