Quoted staged rewriting: a practical approach to library-defined optimizations
主要な著者: | Parreaux, L, Shaikhha, A, Koch, C |
---|---|
フォーマット: | Conference item |
出版事項: |
ACM Digital Library
2017
|
類似資料
-
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)