![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Magnus Madsen, Aarhus University
Thursday 09 May 2019, 13:45-14:45
An Overview of the Flix Programming Language
- đ¤ Speaker: Magnus Madsen, Aarhus University
- đ Date & Time: Thursday 09 May 2019, 13:45 - 14:45
- đ Venue: FW26
Abstract
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).
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- FW26
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.