MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Type-Indexed Data Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 17 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Type-Indexed Data Types  
  • by Ralf Hinze, Johan Jeuring, Andres Loh, C Andres Löh B — 2004 — Science of Computer Programming
  • …Abstract Type-indexed data types Ralf Hinze a Johan Jeuring b,c Andres Löh b a Institut für…
  • Cited by 43 (16 self) – Add To MetaCart
  • Generic Haskell: applications  
  • by Ralf Hinze, Johan Jeuring — 2003 — In Generic Programming, Advanced Lectures, volume 2793 of LNCS
  • … will encounter several new generic programming concepts: – Type-indexed data types. A type-indexed data type…
  • Cited by 22 (13 self) – Add To MetaCart
  • Phantom Types  
  • by James Cheney, Ralf Hinze — 2003
  • … rise to a dierent trie structure. In fact, tries serve as a nice example of so-called type-indexed data…
  • Cited by 71 (0 self) – Add To MetaCart
  • Generic views on data types  
  • by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez — 2006 — In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC’06, volume 4014 of LNCS
  • … to define. Furthermore, the approach does not naturally generalize to type-indexed data types [11, 22]. We…
  • Cited by 13 (4 self) – Add To MetaCart
  • A Lightweight Approach to Datatype-Generic Rewriting  
  • by Thomas Van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren — 2008
  • … be translated to plain Haskell as well. Second, we use a type-indexed data type for specifying rules. This is a…
  • Cited by 3 (3 self) – Add To MetaCart
  • A Lightweight Approach to Datatype-Generic Rewriting  
  • by Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
  • … easily be translated to plain Haskell as well. Second, we use a type-indexed data type for specifying…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB