shd101wyy

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

Pinned Repositories

shd101wyy's Repositories