# Andreas Nuyts

According to our database

Collaborative distances:

^{1}, Andreas Nuyts authored at least 9 papers between 2017 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

CoRR, 2020

CoRR, 2020

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

2019

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

2018

CoRR, 2018

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

2017

Proc. ACM Program. Lang., 2017

CoRR, 2017