研究文献

💡 お知らせ: このドキュメントはAIによって翻訳されています。表現に違和感がある場合は、原文（英語）を参照するか、翻訳にご協力ください。

以下の研究論文は、Flix の特定の側面を扱っています。これらは研究者向けに書かれており、必ずしも一般の読者にとって読みやすいものではありません。これらの論文の多くが発表されて以降、Flix は大きく進化しているため、現在の言語の正確な参照先としてはこのドキュメントを参照してください。

言語デザイン

• The Principles of the Flix Programming Language
  Magnus Madsen @ Onward! 2022

型とエフェクト

• Qualified Types with Boolean Algebras
  Edward Lee, Jonathan Lindegaard Starup, Ondřej Lhoták, Magnus Madsen @ OOPSLA 2025
• Associated Effects: Flexible Abstractions for Effectful Programming
  Matthew Lutze, Magnus Madsen @ PLDI 2024（関連エフェクトを参照）
• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
  Magnus Madsen, Jaco van de Pol, Troels Henriksen @ OOPSLA 2023
• With or Without You: Programming with Effect Exclusion
  Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser @ ICFP 2023
• Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
  Magnus Madsen, Jaco van de Pol @ ECOOP 2023 — Distinguished Paper Award（純粋性リフレクションを参照）
• Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
  Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze @ ECOOP 2023
• Relational Nullable Types with Boolean Unification
  Magnus Madsen, Jaco van de Pol @ OOPSLA 2021
• Polymorphic Types and Effects with Boolean Unification
  Magnus Madsen, Jaco van de Pol @ OOPSLA 2020

Datalog と不動点

• Flix: A Design for Language-Integrated Datalog
  Magnus Madsen, Ondřej Lhoták @ OOPSLA 2025 — Distinguished Artifact（不動点を参照）
• Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
  Jonathan Lindegaard Starup, Magnus Madsen, Ondřej Lhoták @ ECOOP 2023（層化否定を参照）
• Flix: A Meta Programming Language for Datalog
  Magnus Madsen, Jonathan Lindegaard Starup, Ondřej Lhoták @ Datalog 2.0 2022
• Fixpoints for the Masses: Programming with First-Class Datalog Constraints
  Magnus Madsen, Ondřej Lhoták @ OOPSLA 2020
• Implicit Parameters for Logic Programming
  Magnus Madsen, Ondřej Lhoták @ PPDP 2018
• Safe and Sound Program Analysis with Flix
  Magnus Madsen, Ondřej Lhoták @ ISSTA 2018
• From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
  Magnus Madsen, Ming-Ho Yee, Ondřej Lhoták @ PLDI 2016（束意味論を参照）
• Programming a Dataflow Analysis in Flix
  Magnus Madsen, Ming-Ho Yee, Ondřej Lhoták @ TAPAS 2016

コンパイル

• Overloading the Dot
  Joseph Tan, Magnus Madsen @ CC 2025
• Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine
  Magnus Madsen, Ramin Zarifi, Ondřej Lhoták @ CC 2018