Li-yao Xia

Programming language theory practitioner

Rust

Formally verified contracts for Rust

Haskell

Datatype-generic metaprogramming

Compositional breadth-first walks

Algebraic effects in the Bluefin effect system

Text maintainer

Rocq

Denotational semantics of recursive and effectful programming languages

QuickChick maintainer

lysxia@gmail.com