3 papers
cs.PL2024
Functional Array Programming in an Extended Pi-Calculus
Hans Hüttel, Lars Jensen, Chris Oliver Paulsen +1
We study the data-parallel language BUTF, inspired by the Futhark language for array programming. We give a translation of BUTF into a version of the pi-calculus with broadcasting…
cs.LO2024
A Type System for Data Flow and Alias Analysis in ReScript
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…
cs.PL2024
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…