Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zubin Duggal
conf.researchr.org general profile
ICFP 2019 profile
Registered user since Fri 17 May 2019
Name:
Zubin Duggal
Contributions
2019
Haskell
Author of Solving Haskell equality constraints using Coq within the Haskell 2019-track
HIW
Author of HIE files in GHC 8.8 within the HIW 2019-track
Share
x
Fri 8 Dec 06:22