Quoted staged rewriting: a practical approach to library-defined optimizations

Podobné jednotky

• Finally, a polymorphic linear algebra language (Pearl)
  Autor: Shaikhha, A, a další
  Vydáno: (2019)
• Unifying analytic and statically-typed quasiquotes
  Autor: Parreaux, L, a další
  Vydáno: (2017)
• Datatype defining rewrite systems for naturals and integers
  Autor: Jan A. Bergstra, a další
  Vydáno: (2021-02-01)
• THE DEPLOYMENT OF "ANTI-SEMITISM," "CONTROVERSY," AND "NEUTRALITY" IN "GINSBERG v. NCSU"
  Autor: Terri Ginsberg
  Vydáno: (2011-06-01)
• Ontological queries: Rewriting and optimization
  Autor: Gottlob, G, a další
  Vydáno: (2011)