hindley-milner top 100 lambda-calculus top 100 type-system top 100 
Expertise
Global rank
# 153,000Location
Karlsruhe, GermanyLanguages
Haskell
D
OCaml
Haxe
c-plus-...
Topics
hindley...
lambda-...
type-sy...
type-ch...
type-in...
functio...
bspwm
polybar
interme...
i3wm
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]