Consequences of the modal unification of the functional calling paradigms
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
ilmumisaasta
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
märkused
Bibliogr.: 7 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
klassifikaator
Espírito Santo, J., McDermott, D., Pinto, L., Uustalu, T. Consequences of the modal unification of the functional calling paradigms // 29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts. Valencia : Universitat Politècnica de València, 2023. p. 33-35.