6 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 6 cited
Multi-Level Languages are Generalized Arrows
Adam Megacz
Multi-level languages and Arrows both facilitate metaprogramming, the act of writing a program which generates a program. The arr function required of all Arrows turns arbitrary ho…
cs.PL2010★ 3 cited
Multi-Stage Programs are Generalized Arrows
Adam Megacz
The lambda calculus, subject to typing restrictions, provides a syntax for the internal language of cartesian closed categories. This paper establishes a parallel result: staging a…