Quoted staged rewriting: a practical approach to library-defined optimizations
Asıl Yazarlar: | Parreaux, L, Shaikhha, A, Koch, C |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
ACM Digital Library
2017
|
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)