- Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85097654344&origin=inward&txGid=15f03951ce93b9fdadc37869d09e5de1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000916297300010
- Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85114396355&origin=inward&txGid=6bbcedf06f7ea01f97b557e59f46f476 https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200013
- From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085695615&origin=inward&txGid=3d79698e0d3eddeaee64684d181f5541 https://www.webofscience.com/wos/woscc/full-record/WOS:001045275100001
- Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85181915516&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Protocol+choice+and+iteration+for+the+free+cornering%22%29&sessionSearchId=a1950993a8713b95c4defac4e2fbf8c1&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001154322400001
- Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 407-424 https://doi.org/10.1007/978-3-031-17715-6_26 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140722139&origin=inward&txGid=96cc2f1b9302cb61a501c22dde4551f9
- Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168762736&origin=inward&txGid=5e1b93c2cbb3a6a75e0b27d158426cee
- Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140468970&origin=inward&txGid=8adb6c04961f5456aaa5df2ad7e557d0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000866537100008