Ryan Scott - ECOOP 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

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

2023

ECOOP

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile