2
Publications
53
Citations
2
H-Index
2018
Active since
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.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningText MiningData ScienceVerificationCorpus LinguisticsFormal VerificationKnowledge Discovery
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
Rows per page
1–2 of 2