Quoted staged rewriting: a practical approach to library-defined optimizations
Príomhchruthaitheoirí: | Parreaux, L, Shaikhha, A, Koch, C |
---|---|
Formáid: | Conference item |
Foilsithe / Cruthaithe: |
ACM Digital Library
2017
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Finally, a polymorphic linear algebra language (Pearl)
de réir: Shaikhha, A, et al.
Foilsithe / Cruthaithe: (2019) -
Unifying analytic and statically-typed quasiquotes
de réir: Parreaux, L, et al.
Foilsithe / Cruthaithe: (2017) -
Datatype defining rewrite systems for naturals and integers
de réir: Jan A. Bergstra, et al.
Foilsithe / Cruthaithe: (2021-02-01) -
Ontological queries: Rewriting and optimization
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011) -
Ontological Queries: Rewriting and optimization
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)