Title

The Flix Programming Language

Abstract

In this talk, I will present an overview of the Flix programming language, a

functional, imperative, and logic programming language developed at Aarhus

University and by a community of open-source contributors. 

I will begin with a brief introduction to type and effect systems and then

present three Flix-specific features: purity reflection, polymorphic effect

exclusion, and associated effects. 

I will conclude the talk with some reflections on principled programming

language design. 

After the lecture there will be drinks. We will be waiting for you!