Get started
Author

Nikhil Akiti

ORCID: 0009-0009-4608-7256
Observed ORCID: 0009-0009-4608-7256
OpenAlex ID: A5115826568
Generic Refinement Types
2025 · Nico Lehmann, Cole Kurashige, et al. · Proceedings of the ACM on Programming Languages · 4
Works count: 1
Citation count: 4
H-index: 1
I10-index:
Year
Topic
Type