Person. Benjamin Chung ORCID · 0000-0001-9238-7334 Papers Safely Composable Type-Specific Languages omar-2014-safelyECOOP · 2014 DOI · pldb