From equations to distinctions: Two interpretations of effectful computations
autor
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
ISSN
20752180
märkused
Bibliogr.: 25 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
boolean functions
structured programming
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
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.