Michael Lill

Algebraic Effects and Static Analysis for Safety-Critical Applications in Fuzion

2024 · ACM SIGAda Ada Letters

This work-in-progress paper presents the introduction of algebraic effects to the Fuzion language and how algebraic effects can be used in the context of safety-critical systems. Fuzion is a modern, general purpose programming language that …