Data Types with Symmetries via Action Containers
Joram, Philipp
;
Veltri, Niccolo
30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings
2025
/
p. 6:1-6:21
https://doi.org/10.4230/LIPIcs.TYPES.2024.6