Nada Amin and Tiark Rompf. Collapsing Towers of Interpreters.
Proceedings of the ACM on Programming Languages, volume 2, POPL,
article 52, 2018. https://doi.org/10.1145/3158140. The paper narju
implements: the base language λ↑↓, Pink, and the collapsible
reflective tower.
namin/pink. Reference implementation
of the base language and Pink, in Scheme (base.scm, pink.scm) and
Scala. narju’s floor semantics and the metacircular evaluator in
lib/pink-forms.naj follow it.
namin/lms-black. Reference
implementation of the stage-polymorphic reflective tower, in Scala.
narju’s tower (lib/tower.naj) and Purple session follow it.
Jason Hemann and Daniel P. Friedman. µKanren: A Minimal Functional
Core for Relational Programming. Scheme and Functional Programming
Workshop, 2013. The source of lib/mk.naj, ported by way of the
mk.scm example in namin/pink.
Yoshihiko Futamura. Partial Evaluation of Computation Process — An
Approach to a Compiler-Compiler. Systems, Computers, Controls, 2(5),
1971. The projections carried out in Part III.