• Sign in
  • Sign up
conf.researchr.org / Niels van der Weide
  • PLNL 2024 profile
  • POPL 2018 profile
  • POPL 2024 profile
  • POPL 2025 profile
No Photo

Registered user since Mon 27 Nov 2023

Name:Niels van der Weide
Affiliation:Radboud University

Contributions

2025

CPP

  • Author of Intrinsically Correct Sorting in Cubical Agda within the CPP 2025-track

2024

PLNL

  • Author in Program Committee within the PLNL 2024-track
  • Author of Formalizing Algebraic Effects using Domain Theory within the PLNL 2024-track

CPP

  • Author of Univalent Double Categories within the CPP 2024-track
  • Author of Displayed Monoidal Categories for the Semantics of Linear Logic within the CPP 2024-track

2018

CPP

  • Author of Finite Sets in Homotopy Type Theory within the CPP 2018-track
Share
xMon 12 May 10:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up