Publications
- Michele De Pascalis, Tarmo Uustalu, Niccolò Veltri,
Monoid structures on indexed containers
Proceedings twentieth international symposium on logical and semantic frameworks with applications, LSFA 2025
- Michele Chiari, Michele De Pascalis, Matteo Pradella,
Static analysis of infrastructure as code: A survey
IEEE 19th international conference on software architecture companion, ICSA companion 2022