• Published

  Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Restrictable Variants: A Simple and Practical Alternative to Extensible Variants

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

View all (20) »