Publications
2024
Scholarly publications
Mulleners, N., Jeuring, J., & Heeren, B. (2024). Example-Based Reasoning about the Realizability of Polymorphic Programs. https://doi.org/10.48550/arXiv.2406.18304, https://doi.org/10.1145/3674636
2023
Scholarly publications
Mulleners, N., Jeuring, J., & Heeren, B. (2023). Program Synthesis Using Example Propagation. In M. Hanus, & D. Inclezan (Eds.), Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (1 ed., pp. 20-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13880 LNCS). Springer. https://doi.org/10.1007/978-3-031-24841-2_2
https://dspace.library.uu.nl/bitstream/handle/1874/430375/978-3-031-24841-2_2.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/430375/978-3-031-24841-2_2.pdf?sequence=1