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