Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ke Wu
Institution:
Johns Hopkins University
Observed institution:
Johns Hopkins University
ORCID:
0009-0008-2647-4198
Observed ORCID:
0009-0008-2647-4198
OpenAlex ID:
A5113423266
Semantic-Type-Guided Bug Finding
2024
·
Kelvin Qian
, Scott Smith
, et al.
·
Proceedings of the ACM on Programming Languages
·
2
Intensional Functions
2024
·
Zachary Palmer
, Nathaniel Wesley Filardo
, et al.
·
Proceedings of the ACM on Programming Languages
·
1
Coercive Subtyping for Implicit Functorial Programming
2026
·
Ryan Doenges
, Caden Parajuli
, et al.
Show more works
View as search
Works count:
3
Citation count:
3
H-index:
1
I10-index:
Year
Topic
Type
