Consequences of the modal unification of the functional calling paradigms
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
year of publication
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
notes
Bibliogr.: 7 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
classifier
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.