1 paper · 1 filter
Nicky Ask Lund, Hans Hüttel
ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for…