Li-yao XIA (夏黎尧)

A fan of functional programming (Haskell, Coq, Agda), formal verification, and testing.

Projects, publications

Google Scholar

Personal projects

Lysxia on Github.

I have a blog.

PLClub Talks (slides)

Programming, Libraries