A Lightweight Approach to Datatype−generic Rewriting

Схожие документы

• A lightweight approach to datatype−generic rewriting
  по: van Noort, T, и др.
  Опубликовано: (2010)
• Generic Programming for Indexed Datatypes
  по: aes, J, и др.
  Опубликовано: (2011)
• Generic programming for indexed datatypes
  по: aes, J, и др.
  Опубликовано: (2011)
• A Formal Comparison of Approaches to Datatype−Generic Programming
  по: aes, J, и др.
  Опубликовано: (2012)
• Optimizing Generics Is Easy!
  по: aes, J, и др.
  Опубликовано: (2010)