ITU

Proceedings of the ACM on Programming Languages

1 - 1 out of 1Page size: 10
  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 Journal › Conference article › Research › peer-review

ID: 84633534