kompaktne vaade prindi

Data Types with Symmetries via Action Containers

autor
Joram, Philipp
Veltri, Niccolo
vastutusandmed
Philipp Joram, Niccolò Veltri
allikas
30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings
kirjastus/väljaandja
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
ilmumisaasta
2025
leheküljed
p. 6:1-6:21
seeria-sari
Leibniz International Proceedings in Informatics (LIPIcs)
konverentsi nimetus, aeg
30th International Conference on Types for Proofs and Programs (TYPES 2024), TYPES 2024, June 10-14, 2024
konverentsi toimumispaik
Copenhagen, Denmark
leitav
https://doi.org/10.4230/LIPIcs.TYPES.2024.6
märksõna
andmetüübid
programmeerimine
Agda (programmeerimiskeel)
võtmesõna
Containers
Homotopy Type Theory
Agda
2-categories
ISSN
1868-8969
ISBN
978-3-95977-376-8
märkused
Bibliogr.: 20 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Joram, P., Veltri, N. Data Types with Symmetries via Action Containers // 30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings. : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025. p. 6:1-6:21. (Leibniz International Proceedings in Informatics (LIPIcs)). https://doi.org/10.4230/LIPIcs.TYPES.2024.6