About alecs

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Lists

Timeline

bool has no activity yet