Data Types with Symmetries via Action Containers
author
statement of authorship
Philipp Joram, Niccolò Veltri
source
30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings
publisher
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
year of publication
pages
p. 6:1-6:21
series
Leibniz International Proceedings in Informatics (LIPIcs)
conference name, date
30th International Conference on Types for Proofs and Programs (TYPES 2024), TYPES 2024, June 10-14, 2024
conference location
Copenhagen, Denmark
ISSN
1868-8969
ISBN
978-3-95977-376-8
notes
Bibliogr.: 20 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
classifier
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)).