Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthew Yacavone
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP 2018 profile
SPLASH 2021 profile
Not registered as user
Name:
Matthew Yacavone
Contributions
2023
ECOOP
Author of Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification within the Research Papers-track
2021
SPLASH
Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
2018
HIW
Author of Lightning talk: More Explicit Foralls in GHC within the HIW 2018-track
Share
x
Mon 22 Sep 02:34