A type system for data flow and alias analysis in ReScript

Nicky Ask Lund, Hans Hüttel

ReScript introduces a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a type system f…