Generic Programming for Indexed Datatypes

Antzeko izenburuak

• Generic programming for indexed datatypes
  nork: aes, J, et al.
  Argitaratua: (2011)
• A Lightweight Approach to Datatype−generic Rewriting
  nork: van Noort, T, et al.
  Argitaratua: (2010)
• A lightweight approach to datatype−generic rewriting
  nork: van Noort, T, et al.
  Argitaratua: (2010)
• A Formal Comparison of Approaches to Datatype−Generic Programming
  nork: aes, J, et al.
  Argitaratua: (2012)
• Datatype-generic programming
  nork: Gibbons, J
  Argitaratua: (2007)