I'm a phd student at UC Riverside.
Member for 7 years, 2 months
1 profile view
Last seen Jan 24 '18 at 3:07
- Stack Overflow 6.2k 6.2k 11 gold badge1818 silver badges4444 bronze badges
- Theoretical Computer Science 1k 1k 66 silver badges1313 bronze badges
- Mathematics 837 837 55 silver badges1212 bronze badges
- Computer Science 414 414 22 silver badges99 bronze badges
- MathOverflow 365 365 11 gold badge22 silver badges1313 bronze badges
- View network profile
Top network posts
- 95 Why does ghci desugar type lists and type families? Can this be selectively disabled?
- 72 Using TemplateHaskell to list all names in a namespace
- 38 Why is (a,b,c,d) not sugar for (a,(b,(c,(d,()))))?
- 32 How much memory does a thunk use?
- 26 Can a thunk be duplicated to improve memory performance?
- 20 Debugging compile time performance issues caused by GHC's constraint solver
- 20 Is there a library that uses ConstraintKinds to generalize all the base type classes to allow constraints?
- View more network posts →