A Type System for Data Flow and Alias Analysis in ReScript. - Nicky Ask Lund; Hans Hüttel (FROM, 2024)