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

Similar Items

• Finally, a polymorphic linear algebra language (Pearl)
  by: Shaikhha, A, et al.
  Published: (2019)
• Unifying analytic and statically-typed quasiquotes
  by: Parreaux, L, et al.
  Published: (2017)
• Datatype defining rewrite systems for naturals and integers
  by: Jan A. Bergstra, et al.
  Published: (2021-02-01)
• THE DEPLOYMENT OF "ANTI-SEMITISM," "CONTROVERSY," AND "NEUTRALITY" IN "GINSBERG v. NCSU"
  by: Terri Ginsberg
  Published: (2011-06-01)
• ĐộNG Từ "WASH", "CLEAN" TRONG TIếNG ANH Và "RửA, "GIặT", Và "CHùI", "CHà", "XạC" TRONG TIếNG VIệT
  by: Ngô Thị Bảo Châu
  Published: (2011-05-01)