TY  - RPRT
TI  - Example-Based Reasoning about the Realizability of Polymorphic Programs
AU  - Niek Mulleners
AU  - Johan Jeuring
AU  - Bastiaan Heeren
PY  - 2024
DO  - 10.1145/3674636
UR  - https://arxiv.org/abs/2406.18304
ID  - 2406.18304
ER  -