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

Registered user since Mon 27 Nov 2023

Name:Niels van der Weide
Affiliation:Radboud University
Personal website: https://nmvdw.github.io

Contributions

2026

CPP

  • Committee Member in Program Committee within the CPP 2026-track

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 14 Jul 07:42
using conf.researchr.org (v1.69.1)
Support page
Sign Up