conf.researchr.org / Ryan Scott
Ryan Scott

Registered user since Fri 28 Apr 2017

Name: Ryan Scott

Country: United States

Affiliation: Indiana University

Personal website: http://ryanglscott.github.io/

Research interests: Generic Programming, Haskell, Language design

Contributions

HIW 2018Author of Generalized Abstract GHC.Generics within the HIW 2018-track
Haskell 2018Author of Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern within the Haskell 2018-track
ICFP 2017Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track
SPLASH 2017Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track