• Sign in
  • Sign up
conf.researchr.org / Yufeng Li
  • ICFP 2023 profile
  • ISSTA/ECOOP 2024 profile
  • SPLASH 2020 profile

Registered user since Wed 19 Aug 2020

Name:Yufeng Li
Affiliation:University of Waterloo

Contributions

2024

ECOOP

  • Author of Pure methods for roDOT within the Technical Papers-track

2023

ICFP

  • Author of Is Sized Typing for Coq Practical? within the ICFP Papers and Events-track

2020

SPLASH

  • Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track
  • Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track
Share
xFri 20 Jun 12:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up