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
location of publication
Wadem
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
WOS
quartile
classifier
category (general)
category (sub)
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. Wadem : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025. p. 6:1-6:21. (Leibniz International Proceedings in Informatics (LIPIcs)).