• Sign in
  • Sign up
conf.researchr.org / Anders Mörtberg
  • ICFP 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
No Photo

Registered user since Fri 14 Jun 2019

Name:Anders Mörtberg
Country:Sweden
Affiliation:Department of Mathematics, Stockholm University
Personal website: https://staff.math.su.se/anders.mortberg/

Contributions

2023

CPP

  • Author of Computing Cohomology Rings in Cubical Agda within the CPP 2023-track

2022

CPP

  • Author of Implementing a category-theoretic framework for typed abstract syntax within the CPP 2022-track
  • Committee Member in Program Committee within the CPP 2022-track

2021

POPL

  • Author of Internalizing Representation Independence with Univalence within the POPL-track

CPP

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

2020

CPP

  • Author of Cubical Synthetic Homotopy Theory within the CPP 2020-track

2019

ICFP

  • Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track

2017

TTT

  • Invited Speaker of Invited Talk -- Cubical Type Theory: a constructive interpretation of the univalence axiom within the TTT-track
Share
xTue 20 May 19:32
using conf.researchr.org (v1.69.0)
Support page
Sign Up