whoami

My name is Patrycja Balik. I’m currently a PhD student at the Institute of Computer Science, University of Wrocław, Poland. My interests include functional programming, programming language design, compilers, operating systems, and making my own pizza.

I participate in the development of Fram, an experimental programming language featuring lexical algebraic effect handlers and a general and uniform scheme parameter mechanism.

Papers

• 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.
  [pdf] [doi] [appendix] [artifact]
• Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction.
  Patrycja Balik, Dariusz Biernacki, Piotr Polesiuk.
  OlivierFest 2025.
  [pdf] [doi] [artifact]

Abstracts, Talks, and Posters

• Fram: a Tale of Theory-Driven Development, Student Involvement, and Minimal, but Expressive Design. (conference poster)
  Patrycja Balik, Szymon Jędras, and Piotr Polesiuk.
  ETAPS 2026, Turin, Italy, April 2026.
  [pdf] [poster book]
• # TODO: Zdecydować się na tytuł. (talk in Polish)
  Patrycja Balik.
  ZOSIA 2026, Szklarska Poręba, Poland, March 2026.
  [talk]
• Fram: Named Parameters Pushed to the Limit. (extended abstract)
  Patrycja Balik and Piotr Polesiuk.
  ML Family Workshop 2024, Milan, Italy, September 2024.
  [pdf] [talk]
• Logical Relations for Effect Capabilities. (extended abstract)
  Patrycja Balik and Piotr Polesiuk.
  HOPE 2024, Milan, Italy, September 2024.
  [pdf] [talk]