@inproceedings{practice,
  author      = {Ruben Backx and Sára Juhošová and Wouter Swierstra and Jesper Cockx},
  title       = {Programs and proofs in practice},
  booktitle   = {Proceedings of the workshop on type-driven development {{TyDe}}},
  year        = {2026}j
}