Consequences of the modal unification of the functional calling paradigms
author
Espírito Santo, José
McDermott, Dylan
Pinto, Luís
Uustalu, Tarmo
statement of authorship
José Espírito Santo, Dylan McDermott, Luís Pinto and Tarmo Uustalu
source
29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts
location of publication
Valencia
publisher
Universitat Politècnica de València
year of publication
2023
pages
p. 33-35
conference name, date
29th International Conference on Types for Proofs and Programs, TYPES 2023, 12-15 June 2023
conference location
Valencia, Spain
url
https://types2023.webs.upv.es/TYPES2023.pdf
subject term
paradigmad
modaalloogika
muutujad
notes
Bibliogr.: 7 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
5.2
TalTech department
tarkvarateaduse instituut
language
inglise