Fine-grained Language Composition: A Case Study
arXiv (2015) - Comments
arxiv: 1503.08623  issn: 2331-8422  doi: 10.4230/lipics.ecoop.2016.3 

Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt