Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language
Flix is a new functional, imperative, and logic programming language under development by programming language researchers at Aarhus University, the University of Waterloo, Universität Tübingen, and by a growing community of open-source contributors.
In this talk, I will present several notable features of Flix, including its support for first-class Datalog constraints and its polymorphic type and effect system.
Magnus Madsen is an assistant professor at Aarhus University.
Magnus Madsen is the leader behind Flix, a declarative language for implementing modular and expressive program analyses. Flix seamlessly integrates logic, functional and imperative features, and supports interoperability with Java. The language has a solid implementation and runs on the JVM. Notable applications of Flix include high-level declarative implementations of interprocedural analysis frameworks like IFDS and IDE, a new polymorphic effect system for tracking side-effects, and a novel expressive type system for nullability.
Fri 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30
|Awards, Outlooks, and Farewells|
|Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language|
K: Magnus Madsen Aarhus UniversityFile Attached