Jasper Hugunin

About Me

You can contact me by email at jhugunin@cs.cmu.edu. My ORCID is 0000-0002-1133-5354. My resume (somewhat out of date) is here.

Drafts

• Constructing Inductive-Inductive Types in Cubical Type Theory. Published in FoSSaCS 2019. pdf
• Why Not W?. Accepted to TYPES 2020 post-proceedings. pdf

Talks

• Inductive-Inductive types in Homotopy Type Theory. Presented to the Kashima research group at Tokyo Institute of Technology at the end of my study abroad period.
• Inductive-Inductive definitions without UIP. Presented at the 13th Theorem Proving and Provers Meeting (TPP 2017).