lambda-calculus top 100 hindley-milner top 100 type-system top 100 
Expertise
Global rank
# 56,682Location
Pittsburgh, PALanguages
PureScr...
elm
Nim
Ada
Haskell
Crystal
OCaml
D
F#
Go
Products
luajit
Topics
lambda-...
hindley...
type-sy...
type-ch...
functio...
interme...
dlang
functio...
LLVM
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]