Registered user since Wed 23 Sep 2015
Contributions
| HIW 2020 | Liquid Haskell as a GHC Plugin | ||||||||||||||||||||||||||||||||||||||||
| ICFP 2020 | Untitled PL Card Game Committee Member in Virtualization Committee | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile