@article {amin2018collapsing,
	title = {Collapsing Towers of Interpreters},
	journal = {Proceedings of the ACM on Programming Languages},
	volume = {2},
	number = {POPL},
	year = {2018},
	note = {(code)},
	author = {Amin, Nada and Rompf, Tiark}
}
