Kuen-Bang Hou (Favonia)

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Theoretic Analysis

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

Kuen-Bang Hou (Favonia), Carlo Angiuli, Reed Mullanix
An Order-Theoretic Analysis of Universe Polymorphism. Proc. ACM Program. Lang. 7 (POPL) (2023)
Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata
Syntax and models of Cartesian cubical type theory. Math. Struct. Comput. Sci. 31 (4) (2021)
Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. CSL (2018)
Ulrik Buchholtz, Kuen-Bang Hou (Favonia)
Cellular Cohomology in Homotopy Type Theory. LICS (2018)
Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper
Correctness of compiling polymorphism to dynamic typing. J. Funct. Program. 27 (2017)
Kuen-Bang Hou (Favonia), Michael Shulman
The Seifert-van Kampen Theorem in Homotopy Type Theory. CSL (2016)
Kuen-Bang Hou (Favonia), Robert Harper
Covering Spaces in Homotopy Type Theory. TYPES (2016)
Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. LICS (2016)