Programming Flix

Research Literature

The following research papers cover specific aspects of Flix:

• The Principles of the Flix Programming Language
• Flix: A Meta Programming Language for Datalog
• Relational Nullable Types with Boolean Unification
• Fixpoints for the Masses: Programming with First-Class Datalog Constraints
• Polymorphic Types and Effects with Boolean Unification
• Implicit Parameters for Logic Programming
• Safe and Sound Program Analysis with Flix
• Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine
• From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
• Programming a Dataflow Analysis in Flix