conf.researchr.org / Alfredo Di Napoli
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 |
Not registered as user yet
Contributions
| HIW 2020 | Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track |