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
WOS
kvartiil
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
TTÜ struktuuriüksus
keel
inglise
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. https://doi.org/10.4204/EPTCS.317.1