Andreas Nuyts

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Theoretical Basis

Provably Correct

Technical Report

Top Venues

Proc. ACM Program. Lang.

Log. Methods Comput. Sci.

Publications

Andreas Nuyts, Dominique Devriese
Transpension: The Right Adjoint to the Pi-type. Log. Methods Comput. Sci. 20 (2) (2024)
Antoine Van Muylder, Andreas Nuyts, Dominique Devriese
Internal and Observational Parametricity for Cubical Agda. Proc. ACM Program. Lang. 8 (POPL) (2024)
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report. CoRR (2024)
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory. TYPES (2023)
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
Sikkel: Multimode Simple Type Theory as an Agda Library. MSFP@ETAPS (2022)
Andreas Nuyts
Parametricity Features and their Requirements. CoRR (2021)
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
Multimodal Dependent Type Theory. Log. Methods Comput. Sci. 17 (3) (2021)
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. MFCS (2021)
Andreas Nuyts, Dominique Devriese
Transpension: The Right Adjoint to the Pi-type. CoRR (2020)
Andreas Nuyts
The Transpension Type: Technical Report. CoRR (2020)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A categorical approach to secure compilation. CoRR (2020)
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
Multimodal Dependent Type Theory. LICS (2020)
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
Multimodal Dependent Type Theory. CoRR (2020)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A Categorical Approach to Secure Compilation. CMCS (2020)
Koen Jacobs, Andreas Nuyts, Dominique Devriese
How to do proofs: practically proving properties about effectful programs' results (functional pearl). TyDe@ICFP (2019)
Andreas Nuyts, Dominique Devriese
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. LICS (2018)
Andreas Nuyts
Presheaf Models of Relational Modalities in Dependent Type Theory. CoRR (2018)
Andreas Nuyts, Andrea Vezzosi, Dominique Devriese
Parametric quantifiers for dependent type theory. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Andreas Nuyts
A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets. CoRR (2017)