Not registered as user yet
Name:Alfredo Di Napoli
Affiliation:Well-Typed LLP
Contributions
HIW 2020 | Liquid Haskell as a GHC Plugin | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile
Not registered as user yet
Contributions
HIW 2020 | Liquid Haskell as a GHC Plugin | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |