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

समान संसाधन

• Finally, a polymorphic linear algebra language (Pearl)
  द्वारा: Shaikhha, A, और अन्य
  प्रकाशित: (2019)
• Unifying analytic and statically-typed quasiquotes
  द्वारा: Parreaux, L, और अन्य
  प्रकाशित: (2017)
• Datatype defining rewrite systems for naturals and integers
  द्वारा: Jan A. Bergstra, और अन्य
  प्रकाशित: (2021-02-01)
• Ontological queries: Rewriting and optimization
  द्वारा: Gottlob, G, और अन्य
  प्रकाशित: (2011)
• Ontological Queries: Rewriting and optimization
  द्वारा: Gottlob, G, और अन्य
  प्रकाशित: (2011)