lambda-calculus top 10 hindley-milner top 10 type-system top 10 
Expertise
Global rank
# 21,190Location
Sheffield, UKLanguages
Haskell
Markdow...
nix
TeX
OCaml
Lua
Perl
Products
Qt
Jupyter...
Topics
lambda-...
hindley...
type-sy...
markup
pandoc
type-ch...
type-in...
functio...
lsp
interme...
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]