An Overview of the Flix Programming Language

Add to your list(s) Download to your calendar using vCal

• Magnus Madsen, Aarhus University
• Thursday 09 May 2019, 13:45-14:45
• FW26.

If you have a question about this talk, please contact Victor Gomes.

In this talk I will present Flix, a functional programming language with aspects of logic programming. I will present the original motivation for Flix and how Flix has evolved since then. The talk will cover some of the recent research on Flix, including (a) how to generalize Datalog from constraints on relations to constraints on lattices, (b) how to verify components of abstract interpreters written in Flix, (c) a design of implicit parameters for logic languages, and (d) programming with first-class Datalog constraints.

Biography:

Magnus Madsen is an assistant professor at the Department of Computer Science at Aarhus University in Denmark. He was previously a postdoctoral researcher at the University of Waterloo in Canada. He has done research internships at Microsoft Research (USA) and Samsung Research America (USA).

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.