Runtime and compiler support for HAMTs. - Sona Torosyan; Jon Zeppieri; Matthew Flatt (DLS, 2021)