Safely composable type-specific languages (2014)

by C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
Venue:ECOOP 2014 – Object-Oriented Programming, volume 8586 of Lecture Notes in Computer Science