1 rezultat
1 - 1 / 1   1  |
1. 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 |
Iskanje izvedeno v 0 sek.
Na vrh