Publications

Below we list publications that directly relate to Fram.

• Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism.
  Patrycja Balik, Szymon Jędras, and Piotr Polesiuk.
  ESOP 2026, Turin, Italy, April 2026.
  (appendix) (artifact)

  This paper presents the algorithm for effect inference used in Fram, along with Rocq proofs of the algorithm’s soundness and completeness.

• Fram: Named Parameters Pushed to the Limit. (extended abstract)
  Patrycja Balik and Piotr Polesiuk.
  ML Family Workshop 2024, Milan, Italy, September 2024.
  (pdf) (talk)

  An extended abstract and talk showcasing Fram’s named parameter mechanism.