A type system for data flow and alias analysis in ReScript

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 specific for a lambda-calculus with mutability and pattern matching. The type system is a local analysis that collects information about what variables are used and alias information.

Authors

Institutions

Publication Details

Journal
VBN Forskningsportal (Aalborg Universitet)
Published
2024-08-21
DOI
https://doi.org/10.48550/arxiv.2408.11954
Primary Topic
Scientific Computing and Data Management
Type
article
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A type system for data flow and alias analysis in ReScript

Hans Hüttel, Nicky Ask Lund
VBN Forskningsportal (Aalborg Universitet)
Scientific Computing and Data Management
article

A type system for data flow and alias analysis in ReScript

Hans Hüttel, Nicky Ask Lund
article en

Abstract

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 specific for a lambda-calculus with mutability and pattern matching. The type system is a local analysis that collects information about what variables are used and alias information.

VBN Forskningsportal (Aalborg Universitet)
University of Copenhagen (DK)
Scientific Computing and Data Management
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A type system for data flow and alias analysis in ReScript — Hans Hüttel, Nicky Ask Lund · VBN Forskningsportal (Aalborg Universitet) (2024) | TGRS Research Map | TGRS