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

POPL 2018 Refinement Reflection: Complete Verification with SMT
Refinement Reflection: Complete Verification with SMT
Show activities from other conferences

POPL 2018-profile
View general profile