Person. Alex Potanin Associate Professor · Australian National University · potanin.github.io · 0000-0002-4242-2725 PhDVictoria University of Wellington Papers Safely Composable Type-Specific Languages omar-2014-safelyECOOP · 2014 DOI · pldb