shd101wyy Goto Github PK
Name: Yiyi Wang
Type: User
Bio: Designing a programming language that supports linear types, mutable value semantics, and algebraic effects (one-shot), and implementing a compiler for it.
Location: Mars, Solar system, Universe