Browsing by Author "Nuyts, Andreas"

Now showing 1 - 3 of 3

Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

Nuyts, Andreas
;
Devriese, Dominique
Proceedings paper
2018, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 9/07/2018, p.779-788
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)

Jacobs, Koen
;
Nuyts, Andreas
;
Devriese, Dminique
Proceedings paper
2019, TyDe2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 23/08/2019, p.1-13
Multimodal Dependent Type Theory

Gratzer, Daniel
;
Kavvos, G. A.
;
Nuyts, Andreas
;
Birkedal, Lars
Proceedings paper
2020, 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), JUL 08-11, 2020, p.492-506