Simon Huber

Identifiers

No identifiers captured yet.

Papers (6)

1. A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning cs.DC · 2019 · author #3
2. Optimizing the LSST Observing Strategy for Dark Energy Science: DESC Recommendations for the Wide-Fast-Deep Survey astro-ph.IM · 2018 · author #10
3. On Higher Inductive Types in Cubical Type Theory cs.LO · 2018 · author #2
4. The univalence axiom in cubical sets math.LO · 2017 · author #3
5. Cubical Type Theory: a constructive interpretation of the univalence axiom cs.LO · 2016 · author #3
6. Canonicity for Cubical Type Theory cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Thierry Coquand 3 shared papers
• Anders M\"ortberg 2 shared papers
• Alexandros Nikolaos Ziogas 1 shared papers
• Alex G. Kim 1 shared papers
• An\v{z}e Slosar 1 shared papers
• Ariel Goobar 1 shared papers
• Chihway Chang 1 shared papers
• Christian N. Setzer 1 shared papers
• Cyril Cohen 1 shared papers
• Daniel M. Scolnic 1 shared papers
• Daniel Peter 1 shared papers
• Daniel Rothchild 1 shared papers
• Eric Gawiser 1 shared papers
• Hiranya V. Peiris 1 shared papers
• Humna Awan 1 shared papers
• Husni Almoubayyed 1 shared papers
• Ignacio Sevilla-Noarbe 1 shared papers
• Isobel M. Hook 1 shared papers
• J. Anthony Tyson 1 shared papers
• Jason D. McEwen 1 shared papers