From equations to distinctions: Two interpretations of effectful computations
author
statement of authorship
Niels Voorneveld
source
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
location of publication
Sydney
publisher
year of publication
pages
p. 1-17
conference name, date
8th Workshop on Mathematically Structured Functional Programming, MSFP 2020, 25 April 2020
conference location
Dublin, Ireland
ISSN
20752180
notes
Bibliogr.: 25 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
keyword
boolean functions
structured programming
WOS
quartile
classifier
category (general)
category (sub)
Reserch Group
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.