Comparing quotient- and symmetric containers
author
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
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
notes
Bibliogr.: 11 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
classifier
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.