Andreas Nuyts

According to our database, Andreas Nuyts authored at least 9 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Transpension: The Right Adjoint to the Pi-type.

Andreas Nuyts, Dominique Devriese

CoRR, 2020

The Transpension Type: Technical Report.

Andreas Nuyts

CoRR, 2020

Multimodal Dependent Type Theory.

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

A Categorical Approach to Secure Compilation.

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

How to do proofs: practically proving properties about effectful programs' results (functional pearl).

Koen Jacobs, Andreas Nuyts, Dominique Devriese

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2018

Presheaf Models of Relational Modalities in Dependent Type Theory.

Andreas Nuyts

CoRR, 2018

Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory.

Andreas Nuyts, Dominique Devriese

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Parametric quantifiers for dependent type theory.

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese

Proc. ACM Program. Lang., 2017

A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets.

Andreas Nuyts

CoRR, 2017