Publications

Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell<doi>

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou