About alecs
PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
Lists
{username} has no public lists
Timeline
{username} has no activity yet
PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
{username} has no public lists
{username} has no activity yet