Registered user since Mon 19 Aug 2024
Name:Yiyuan Cao
Affiliation:Peking University
Personal website: https://yiyuan-cao.github.io/
Research interests:Programming Languages, Type Systems, Program Proof
Contributions
Using general profile
- Attending
- Program
- Tracks
- Organization
- The Scala Workshop 2025 Committees
- Track Committees
- The Scala Workshop 2025
- ICFP/SPLASH
- Volunteers
- Workshops
- Contributors
- People Index
- Co-hosted Conferences
- ICFP
- MPLR
- SPLASH
- Organizing Committee
- Steering Committee
- Doctoral Symposium
- FARM
- OOPSLA OOPSLA Review Committee
- OOPSLA External Review / Artifact Evaluation Committee
- OOPSLA Artifacts
- Onward! Essays Program Committee
- Onward! Essays Onward! Steering Committee
- Onward! Papers Program Committee
- Onward! Papers Steering Committee
- Posters
- SPLASH-E Program Commitee
- SPLASH-E Steering Committee
- Student Research Competition
- Workshops
- Erlang
- FARM
- FUNARCH
- HATRA
- HOPE
- IWACO
- LMPL
- miniKanren
- ML Family Workshop
- OCaml
- OlivierFest
- PAINT
- PLMW @ ICFP/SPLASH
- PROPL
- REBASE
- Scheme
- Sponsor Invited Talks
- TyDe
- VMIL
- WebAssembly Workshop
- Co-hosted Symposia
- Haskell
- SAS
- Search
- Series
- Series
- The Scala Workshop 2025
- Scala 2022
- Scala 2021
- Scala 2020
- Scala 2019
- Scala 2018
- Scala 2017
- Scala 2016
- Scala 2015