Avatar
Yanning Chen
E53E D56B 7F20 B7BB

B.Eng in Computer Science @ Shanghai Jiao Tong University (2019 - present)

Generally interested in PL concepts and techniques that helps people build efficient softwares.

And now, I'm interested in:

  • Interesting language features like staging and effect systems
  • Beautiful and practical type theory and systems (e.g. row polymorphism, gradual typing, session types, etc.)
  • Composable and expressive semantics (e.g. Interaction Trees)

See also: Resume

On-going Projects

Annotated Source Code Optimization
advised by Prof. Qinxiang Cao at JHC@SJTU

Materials

  1. Interaction Trees: A denotational semantics and its equational theorems
    Paper sharing talk, PLSE Lab@UCSB [KeyNote] [PDF]

  2. Reading notes on PL related topics (zh-CN)
    [GitHub]

Designed by myself [1].

Last updated on 2024/5/13.