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

Benzer Materyaller

• Finally, a polymorphic linear algebra language (Pearl)
  Yazar:: Shaikhha, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2019)
• Unifying analytic and statically-typed quasiquotes
  Yazar:: Parreaux, L, ve diğerleri
  Baskı/Yayın Bilgisi: (2017)
• Datatype defining rewrite systems for naturals and integers
  Yazar:: Jan A. Bergstra, ve diğerleri
  Baskı/Yayın Bilgisi: (2021-02-01)
• Ontological queries: Rewriting and optimization
  Yazar:: Gottlob, G, ve diğerleri
  Baskı/Yayın Bilgisi: (2011)
• Ontological Queries: Rewriting and optimization
  Yazar:: Gottlob, G, ve diğerleri
  Baskı/Yayın Bilgisi: (2011)