Consequences of the modal unification of the functional calling paradigms
autor
Espírito Santo, José
McDermott, Dylan
Pinto, Luís
Uustalu, Tarmo
vastutusandmed
José Espírito Santo, Dylan McDermott, Luís Pinto and Tarmo Uustalu
allikas
29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts
ilmumiskoht
Valencia
kirjastus/väljaandja
Universitat Politècnica de València
ilmumisaasta
2023
leheküljed
p. 33-35
konverentsi nimetus, aeg
29th International Conference on Types for Proofs and Programs, TYPES 2023, 12-15 June 2023
konverentsi toimumispaik
Valencia, Spain
leitav
https://types2023.webs.upv.es/TYPES2023.pdf
märksõna
paradigmad
modaalloogika
muutujad
märkused
Bibliogr.: 7 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
5.2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise