Scala-Virtualized: linguistic reuse for deep embeddings. - Rompf, Tiark; Amin, Nada; Moors, Adriaan; Haller, Philipp; Odersky, Martin (Higher-Order & Symbolic Computation, 2012)