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