Registered user since Fri 17 May 2019
Name:Zubin Duggal
Contributions
Haskell 2019 | Solving Haskell equality constraints using Coq | ||||||||||||||||||||||||||||||||||||||||
HIW 2019 | HIE files in GHC 8.8 | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile