Kuen-Bang Hou
发表
Robert Harper,
Carlo Angiuli,
Evan Cavallo,
2018,
LFMTP@FSCD.
Kuen-Bang Hou,
Ulrik Buchholtz,
Ulrik Buchholtz,
2018,
LICS.
Robert Harper,
Kuen-Bang Hou,
R. Harper,
2015,
ArXiv.
Peter LeFanu Lumsdaine,
Daniel R. Licata,
Kuen-Bang Hou,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kuen-Bang Hou,
Ulrik Buchholtz,
2020,
Log. Methods Comput. Sci..
Robert Harper,
Carlo Angiuli,
Kuen-Bang Hou,
2017,
ArXiv.