Person. Darya Kurilova Papers Safely Composable Type-Specific Languages omar-2014-safelyECOOP · 2014 DOI · pldb