Person. Ligia Nistor ORCID · 0000-0002-4714-5034 Papers Safely Composable Type-Specific Languages omar-2014-safelyECOOP · 2014 DOI · pldb