TY  - RPRT
TI  - pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation
AU  - Triera Gashi
AU  - Sophie Adeline Solheim Bosio
AU  - Joachim Tilsted Kristensen
AU  - Michael Kirkedal Thomsen
PY  - 2023
UR  - https://arxiv.org/abs/2309.04696
ID  - 2309.04696
ER  -