Generic programming for indexed datatypes

Míreanna comhchosúla

• Generic Programming for Indexed Datatypes
  de réir: aes, J, et al.
  Foilsithe / Cruthaithe: (2011)
• A Lightweight Approach to Datatype−generic Rewriting
  de réir: van Noort, T, et al.
  Foilsithe / Cruthaithe: (2010)
• A lightweight approach to datatype−generic rewriting
  de réir: van Noort, T, et al.
  Foilsithe / Cruthaithe: (2010)
• A Formal Comparison of Approaches to Datatype−Generic Programming
  de réir: aes, J, et al.
  Foilsithe / Cruthaithe: (2012)
• Datatype-generic programming
  de réir: Gibbons, J
  Foilsithe / Cruthaithe: (2007)