I agree that this site is using cookies. You can find further informations here.
X
Kunkel, Rose
24  results:
Search for persons X
?
1

babble: Learning Better Abstractions with E-Graphs and Anti..:

Cao, David ; Kunkel, Rose ; Nandi, Chandrakana...
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 396-424 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Theorem proving for all: equational reasoning in liquid Has..:

Vazou, Niki ; Breitner, Joachim ; Kunkel, Rose..
ACM SIGPLAN Notices.  53 (2018)  7 - p. 132-144 , 2018
Link: https://doi.org/10.1145/..
 
?
3

Theorem proving for all: equational reasoning in liquid Has..:

, In: Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell,
Vazou, Niki ; Breitner, Joachim ; Kunkel, Rose.. - p. 132-144 , 2018
Link: https://dl.acm.org/doi/1..
 
?
4

The Domestication Genocide of Settler Colonial–Language Ide..:

Marquez, Bayley J. ; Kunkel, Juliet Rose
American Quarterly.  73 (2021)  3 - p. 461-482 , 2021
Link: https://doi.org/10.1353/..
 
?
5

babble: Learning Better Abstractions with E-Graphs and Anti..:

Cao, David ; Kunkel, Rose ; Nandi, Chandrakana...
qt9bj5072b.  , 2023
Link: https://escholarship.org..
 
?
6

babble: Learning Better Abstractions with E-Graphs and Anti..:

Cao, David ; Kunkel, Rose ; Nandi, Chandrakana...
http://arxiv.org/abs/2212.04596.  , 2022
Link: http://arxiv.org/abs/221..
 
?
7

Constraint-based Learning of Phonological Processes:

Barke, Shraddha ; Kunkel, Rose ; Polikarpova, Nadia...
qt71z8j3sm.  , 2019
Link: https://escholarship.org..
 
?
8

Constraint-based Learning of Phonological Processes:

Barke, Shraddha ; Kunkel, Rose ; Polikarpova, Nadia...
qt1w02c7wq.  , 2019
Link: https://escholarship.org..
 
?
9

Theorem proving for all: equational reasoning in Liquid Has..:

Vazou, Niki ; Breitner, Joachim ; Kunkel, Rose..
https://nottingham-repository.worktribe.com/output/1035977.  , 2018
Link: https://doi.org/10.1145/..
 
?
10

Artifact for "babble: Learning Better Abstractions with E-G..:

David Cao ; Rose Kunkel ; Chandrakana Nandi...
doi:10.5281/zenodo.7120896.  , 2022
Link: https://zenodo.org/recor..
 
?
11

Artifact for "babble: Learning Better Abstractions with E-G..:

David Cao ; Rose Kunkel ; Chandrakana Nandi...
doi:10.5281/zenodo.7120896.  , 2022
Link: https://zenodo.org/recor..
 
?
12

The Eugenic University:

Kunkel, Juliet Rose
qt1tq3n9s4.  , 2021
Link: https://escholarship.org..
 
?
13

Pesticides in honey bee colonies: Establishing a baseline f..:

Traynor, Kirsten S. ; Tosi, Simone ; Rennich, Karen...
Environmental Pollution.  279 (2021)  - p. 116566 , 2021
Link: https://doi.org/10.1016/..
 
?
14

Epithelial RNase H2 Maintains Genome Integrity and Prevents..:

Aden, Konrad ; Bartsch, Kareen ; Dahl, Joseph...
Gastroenterology.  156 (2019)  1 - p. 145-159.e19 , 2019
Link: https://doi.org/10.1053/..
 
?
15

Multiyear survey targeting disease incidence in US honey be..:

Traynor, Kirsten S. ; Rennich, Karen ; Forsgren, Eva...
Apidologie.  47 (2016)  3 - p. 325-347 , 2016
Link: https://doi.org/10.1007/..
 
1-15