1 - 2 / 2 1 |
1. Behavioural equivalence via modalities for algebraic effects Alex Simpson, Niels Voorneveld, 2018, objavljeni znanstveni prispevek na konferenci Ključne besede: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability |
2. Equality between programs with effects Niels Frits Willem Voorneveld, 2020, doktorska disertacija Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices |