An Introduction to Functional Imperative Programming in Flix • Magnus Madsen • GOTO 2023