Searching for "Polytypic Values Possess Polykinded Types." – sorted by Relevance.
-
Polytypic Values Possess Polykinded Types
- 1 Polytypic values possess polykinded types December 1999 RALF HINZE Institut fur Informatik III
- Cited by 83 (20 self) – Add To MetaCart
-
Automatic visualization of recursion trees: a case study on generic programming
- of arguments of the type constructor). This is due to the fact that polytypic values possess polykinded types
- Cited by 1 (0 self) – Add To MetaCart
-
Comparing Libraries for Generic Programming in Haskell
- possess polykinded types” [Hinze, 2002] shows how to define generic functions that work on types
- Add To MetaCart

