ECOOP and ISSTA 2023 (series) / Ryan Scott
Registered user since Fri 28 Apr 2017
Name:Ryan Scott
Country:United States
Affiliation:Galois, Inc.
Personal website:http://ryanglscott.github.io/
Research interests:Generic Programming, Haskell, Language design
Contributions
| ECOOP 2023 | Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile