Statistics
Publications
2
Citations
53
H-Index
2
Active since
2018
Affiliations
University of California San Diego(Current)
Rose Kunkel is an author at University of California San Diego specializing in automated reasoning, computer science, and formal methods.
Publications per year
2018–2023
2
2
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
Niki Vazou, Joachim Breitner, Rose Kunkel et al. · 2018 · 19 citations · Full text
1–2 of 2