Comparing quotient- and symmetric containers
vastutusandmed
Philipp Joram and Niccolò Veltri
allikas
30th International Conference on Types for Proofs and Programs, TYPES 2024, Abstracts, Copenhagen, Denmark, 10-14 June 2024
kirjastus/väljaandja
IT University of Copenhagen
ilmumisaasta
leheküljed
p. 158-160
konverentsi nimetus, aeg
30th International Conference on Types for Proofs and Programs, TYPES 2024, 10-14 June 2024
konverentsi toimumispaik
Copenhagen, Denmark
märksõna
märkused
Bibliogr.: 11 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Joram, P., Veltri, N. Comparing quotient- and symmetric containers // 30th International Conference on Types for Proofs and Programs, TYPES 2024, Abstracts, Copenhagen, Denmark, 10-14 June 2024. : IT University of Copenhagen, 2024. p. 158-160.