Niek Mulleners N

Niek Mulleners, MSc

 https://orcid.org/0000-0002-7934-6834

Personal profile

Link to Utrecht University staff page

https://www.uu.nl/staff/NMulleners

Fingerprint

Dive into the research topics where Niek Mulleners is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 1 Conference contribution
  • 1 Article

  • Example-Based Reasoning about the Realizability of Polymorphic Programs

    Mulleners, N., Jeuring, J. & Heeren, B., 15 Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, p. 317-337 247.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File

  • Program Synthesis Using Example Propagation

    Mulleners, N., Jeuring, J. & Heeren, B., 8 Jan 2023, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Cham: Springer, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13880 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File