Niels F. W. Voorneveld

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Negative Effects

Top Venues

J. Log. Algebraic Methods Program.

Publications

Chad Nester, Niels F. W. Voorneveld
Protocol choice and iteration for the free cornering. J. Log. Algebraic Methods Program. 137 (2024)
Niels F. W. Voorneveld
Slice Nondeterminism. ITP (2023)
Chad Nester, Niels F. W. Voorneveld
Protocol Choice and Iteration for the Free Cornering. CoRR (2023)
Niccolò Veltri, Niels F. W. Voorneveld
Streams of Approximations, Equivalence of Recursive Effectful Programs. MPC (2022)
Niels F. W. Voorneveld
Runners for Interleaving Algebraic Effects. ICTAC (2022)
Niccolò Veltri, Niels F. W. Voorneveld
Inductive and Coinductive Predicate Liftings for Effectful Programs. CoRR (2021)
Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Tarmo Uustalu, Niels F. W. Voorneveld
Algebraic and Coalgebraic Perspectives on Interaction Laws. APLAS (2020)
Niels F. W. Voorneveld
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. MFPS (2020)
Niels F. W. Voorneveld
From Equations to Distinctions: Two Interpretations of Effectful Computations. MSFP@ETAPS (2020)
Niels F. W. Voorneveld
Quantitative Logics for Equivalence of Effectful Programs. MFPS (2019)
Niels F. W. Voorneveld
Quantitative Logics for Equivalence of Effectful Programs. CoRR (2019)
Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. CoRR (2019)
Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. ESOP (2018)
Niels F. W. Voorneveld
Non-deterministic Effects in a Realizability Model. MFPS (2018)