Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Lund, Nicky Ask"'
Autor:
Lund, Nicky Ask, Hüttel, Hans
Publikováno v:
EPTCS 410, 2024, pp. 116-132
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 data-flow analysis for a subset of the ReScript language, more specif
Externí odkaz:
http://arxiv.org/abs/2410.23984
Autor:
Lund, Nicky Ask, Hüttel, Hans
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 for data-flow analysis for a subset of the ReScript language, more spec
Externí odkaz:
http://arxiv.org/abs/2408.11954