A Type System to Ensure Non-Interference in ReScript. - Benjamin Bennetzen; Daniel Vang Kleist; Emilie Sonne Steinmann; Loke Walsted; Nikolaj Rossander Kristensen; Peter Buus Steffensen (CoRR, 2024)

Cost Analysis for Import and Export Using an Abstract Machine. - Benjamin Bennetzen; Daniel Vang Kleist; Emilie Sonne Steinmann; Loke Walsted; Nikolaj Rossander Kristensen; Peter Buus Steffensen (CoRR, 2024)