3 papers
cs.PL2025
Compiling the Mimosa programming language to RTOS tasks
Nikolaus Huber, Susanne Graf, Philipp Rümmer +1
This paper introduces a compilation scheme for programs written in the Mimosa programming language, which builds upon the MIMOS model of computation. Mimosa describes embedded syst…
cs.PL2025
An Encoding of Interaction Nets in OCaml
Nikolaus Huber, Wang Yi
Interaction nets constitute a visual programming language grounded in graph transformation. Owing to their distinctive properties, they inherently facilitate parallelism in the rew…
cs.PL2025
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Nikolaus Huber, Susanne Graf, Philipp Rümmer +1
This paper introduces the Mimosa language, a programming language for the design and implementation of asynchronous reactive systems, describing them as a collection of time-trigge…