• Sign in
  • Sign up
conf.researchr.org / Sheng Chen
  • ISSTA/ECOOP 2024 profile
  • POPL 2024 profile

Not registered as user

Name:Sheng Chen
Affiliation:UL Lafayette

Contributions

2024

ECOOP

  • Author of Formalizing, Mechanizing, and Verifying Class-based Refinement Types within the Technical Papers-track

POPL

  • Author of Type-based Gradual Typing Performance Optimization within the POPL-track
Share
xTue 9 Sep 11:05
using conf.researchr.org (v1.71.1)
Support page
Sign Up