Lightweight soundness for towers of language extensions.

Alejandro Serrano, Jurriaan Hage

Browse the full PEPM paper archive.