Ryan G. Scott

Reproducible Containers

Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott et al. · 2020 · 18 citations · Full text

Computing, Bioinformatics, Computer Science +13

The remote monad design pattern

Andy Gill, Neil Sculthorpe, Justin Dawson et al. · 2015 · 14 citations

Computing, Computer Science, Computer Systems +16

Deriving via: or, how to turn hand-written instances into an anti-pattern

Baldur Blöndal, Andres Löh, Ryan G. Scott · 2018 · 14 citations

Computing, Computer Science, Compilers +12

Refinement Reflection: Complete Verification with SMT

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury et al. · arXiv (Cornell University) · 2017 · 11 citations · Full text

Computing, Computer Science, Computer Systems +16