I'm a phd student at UC Riverside.
Member for 7 years, 9 months
0 profile views
Last seen Aug 18 '17 at 19:08
- Stack Overflow 6.2k 6.2k 11 gold badge1818 silver badges4242 bronze badges
- Theoretical Computer Science 993 993 55 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 badges1212 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 →