Comparing quotient- and symmetric containers
author
Veltri, Niccolò
Joram, Philipp
statement of authorship
Philipp Joram and Niccolò Veltri
source
30th International Conference on Types for Proofs and Programs, TYPES 2024, Abstracts, Copenhagen, Denmark, 10-14 June 2024
publisher
IT University of Copenhagen
year of publication
2024
pages
p. 158-160
conference name, date
30th International Conference on Types for Proofs and Programs, TYPES 2024, 10-14 June 2024
conference location
Copenhagen, Denmark
url
https://vipwww.itu.dk/research/types2024/abstracts.pdf
subject term
andmed
andmetüübid
arvutisüsteemid
notes
Bibliogr.: 11 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
5.2
TalTech department
tarkvarateaduse instituut
language
inglise