Kuen-Bang Hou (Favonia)
Scholar

Kuen-Bang Hou (Favonia)

Google Scholar ID: Tqfb4FYAAAAJ
University of Minnesota, Twin Cities
Programming Language TheoryType Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
385
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
2 items
Technical Report: A Formal Semantics for Java Symbolic Evaluation using Large-Block Encoding
2026
Cited
0
Coslice Colimits in Homotopy Type Theory
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
10 total
Carlo Angiuli
Carlo Angiuli
Assistant Professor, Indiana University
Robert Harper
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Co-author 3
Co-author 3
Ulrik Buchholtz
Ulrik Buchholtz
University of Nottingham
Co-author 5
Co-author 5
Peter LeFanu Lumsdaine
Peter LeFanu Lumsdaine
Assistant professor, Dept. of Mathematics, Stockholm University
Jonathan Sterling
Jonathan Sterling
Associate Professor, University of Cambridge
Co-author 8
Co-author 8