Behavioural Equivalence via Modalities for Algebraic Effects.
| Autor: | SIMPSON, ALEX1 Alex.Simpson@fmf.uni-lj.si, VOORNEVELD, NIELS1 Niels.Voorneveld@fmf.uni-lj.si |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Jan2020, Vol. 42 Issue 1, p1-45. 45p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|