Andreas Nuyts

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Transpension: The Right Adjoint to the Pi-type.
CoRR, 2020

The Transpension Type: Technical Report.
CoRR, 2020

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

A Categorical Approach to Secure Compilation.
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
Presheaf Models of Relational Modalities in Dependent Type Theory.
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
Parametric quantifiers for dependent type theory.
Proc. ACM Program. Lang., 2017

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


  Loading...