From equations to distinctions: Two interpretations of effectful computations

vastutusandmed
Niels Voorneveld
allikas
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
ilmumiskoht
Sydney
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1-17
konverentsi nimetus, aeg
8th Workshop on Mathematically Structured Functional Programming, MSFP 2020, 25 April 2020
konverentsi toimumispaik
Dublin, Ireland
kvartiil
Q2
kategooria (üld)
kategooria (alam)
võtmesõna
boolean functions
structured programming
ISSN
20752180
märkused
Bibliogr.: 25 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Voorneveld, N. From equations to distinctions: Two interpretations of effectful computations // Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020. Sydney : Open Publishing Association, 2020. p. 1-17. https://doi.org/10.4204/EPTCS.317.1