ITU

Proceedings of the ACM on Programming Languages

  1. 2019
  2. Published

    Cubical agda: a dependently typed programming language with univalence and higher inductive types

    Vezzosi, A., Mörtberg, A. & Abel, A., Aug 2019, In: Proceedings of the ACM on Programming Languages. 3, ICFP, p. 87:1-87:29 29 p., 87.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

ID: 84633534