• Comparing quotient- and symmetric containersVeltri, Niccolò; Joram, Philipp30th International Conference on Types for Proofs and Programs, TYPES 2024, Abstracts, Copenhagen, Denmark, 10-14 June 20242024 / p. 158-160 https://vipwww.itu.dk/research/types2024/abstracts.pdf