Joomy Korkut@joom 
PhD student working on programming languages, especially dependent types and metaprogramming.
idris top 10 theorem-prover top 100 computational-linguistics top 100

Expertise

Global rank

# 255,489

Location

None
Languages
idris
Haskell
OCaml
TeX
Frameworks
Django
Topics
theorem...
computa...
metapro...
functio...
Front e...
transla...

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.