MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Polytypic Values Possess Polykinded Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Polytypic Values Possess Polykinded Types
by Ralf Hinze — 2000
…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
by Alcino Cunha — Electronic Notes in Theoretical Computer Science
… 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
by Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira, Alexey Rodriguez, Alex Gerdes
… possess polykinded types” [Hinze, 2002] shows how to define generic functions that work on types…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB