Ganesh Sittampalam@hsenag 
ghc top 100 sat-solver top 1000 theorem-prover top 1000

Expertise

Global rank

# 292,131

Location

United Kingdom
Languages
f-sharp
Haskell
F#
OCaml
Frameworks
analysi...
Topics
ghc
sat-sol...
theorem...
lsp-ser...
bytecod...
smt
depende...
theorem...
workflo...
distrib...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.