Not registered as user yet

Name:Alfredo Di Napoli
Affiliation:Well-Typed LLP

Contributions

HIW 2020 Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track