Ryan Rhodes Newton
Affiliations: | Indiana University, Bloomington, Bloomington, IN, United States |
Area:
Compilers, Programming Languages, ParallelismGoogle:
"Ryan Newton"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Zakian TAK, Mcdonell TL, Cimini M, et al. (2018) Ghostbuster: A tool for simplifying and converting GADTs Journal of Functional Programming. 28 |
| Vazou N, Tondwalkar A, Choudhury V, et al. (2017) Refinement reflection: complete verification with SMT Arxiv: Programming Languages. 2: 53 |
| Bernardy J, Boespflug M, Newton RR, et al. (2017) Linear Haskell: practical linearity in a higher-order polymorphic language Arxiv: Programming Languages. 2: 5 |
| SVENSSON BJ, NEWTON RR, SHEERAN M. (2016) A language for hierarchical data parallel design-space exploration on GPUs Journal of Functional Programming |