Multi-Stage Programs are Generalized Arrows - Megacz, Adam (arXiv.org, 2010)
Keywords: Annotations; Categories; Coding; Constrictions; Language; Languages; Mathematical analysis; Polynomials; Semantics; Syntax