Comparing quotient- and symmetric containers
autor
Veltri, Niccolò
Joram, Philipp
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
2024
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
leitav
https://vipwww.itu.dk/research/types2024/abstracts.pdf
märksõna
andmed
andmetüübid
arvutisüsteemid
märkused
Bibliogr.: 11 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
5.2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise