According to our database1, Andreas Nuyts authored at least 9 papers between 2017 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the Coalgebraic Methods in Computer Science, 2020
How to do proofs: practically proving properties about effectful programs' results (functional pearl).
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018