University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > An Overview of the Flix Programming Language

An Overview of the Flix Programming Language

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

  • UserMagnus Madsen, Aarhus University
  • ClockThursday 09 May 2019, 13:45-14:45
  • HouseFW26.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity