Rose Kunkel -

Not registered as user yet

Name:Rose Kunkel

Affiliation:University of Maryland, USA

Contributions

2018

Haskell

Author of Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) within the Haskell 2018-track