Generic Programming for Indexed Datatypes

Podobne zapisy

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