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)