logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
N

Niki Vazou

University of California San Diego

14H-index
62Paper Count
765Citation Count
Published Papers 1
Publication Date
logo
Refinement Types: A Tutorial
errFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
err2021-01-01
err16
errOAAI
errJhala, Ranjit; Vazou, Niki
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
R
Ranjit Jhala
H-index: 52 · Papers: 197
All loaded