Niels Voorneveld

| About | Research | Other |


Doctoral thesis: Equality between programs with effects, University of Ljubljana, 2019 [link].

Master's thesis: On constructions of partial combinatory algebras and their relation to topology, University of Utrecht, 2015 [link].

Bachelor's thesis: Diophantine representations of recursive enumerable sets, University of Utrecht, 2013 [link].

List of publications:

Chad Nester, N.V.: Protocol Choice and Iteration for the Free Cornering, Journal of Logical and Algebraic Methods in Programming, JLAMP, Volume 137, [link]

N.V.: Slice Nondeterminism, 14th International Conference on Interactive Theorem Proving, ITP 2023 [link]

N.V.: Runners for Interleaving Algebraic Effects, Proc. of 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 [link] [pdf]

Niccolo Veltri and N.V.: Streams of approximations, equivalence of recursive effectful programs, Proc. of 14th International Conference on Mathematics of Program Construction, MPC 2022 [conference link]

Niccolo Veltri and N.V.: Inductive and coinductive predicate liftings for effectful programs, Proc. of the 36th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 [link]

Tarmo Uustalu and N.V.: Algebraic and coalgebraic perspectives on interaction laws, Proc. of 18th Asian Symp. on Programming Languages and Systems, APLAS 2020, to appear in LNCS [conference link]

N.V.: Combining Algebraic Effect Descriptions using the Tensor of Complete Lattices, 36th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2020, to appear in ENTCS [slides] [draft]

N.V.: From equations to distinctions: Two interpretations of effectful computations, MSFP 2020, Electronic Proceedings in Theoretical Computer Science, volume 317, 2020 [link] [more examples]

N.V.: Quantitative Logics for Equivalence of Effectful Programs, MFPS XXXV, Electronic Notes in Theoretical Computer Science, volume 347, 2019 [link]

Alex Simpson and N.V.: Behavioural Equivalence via Modalities for Algebraic Effects, ACM TOPLAS, January 2020, Article No. 4 [link] [preprint].
Conference version, ESOP 2018, April 2018, Pages 300-326, [link].

N.V.: Non-deterministic Effects in a Realizability Model, ENTCS, Volume 336, April 2018, Pages 299-314, [link].

Jaap van Oosten and N.V.: Extensions of Scott's Graph Model and Kleene's Second Algebra, Indagationes Mathematicae, Volume 29, Issue 1, February 2018, Pages 5-22, [preprint].


SYCO 2022 talk: Cylinder Diagrams: Visualizing Multi-Parameter Natural Transformations, Ninth Symposium on Compositional Structures, SYCO 9 [Short paper].