Ingo Blechschmidt@iblech 
Mathematician working in applied topos theory. Also interested in functional programming.
jalali top 10 hindley-milner top 100 lambda-calculus top 100

Expertise

Global rank

# 90,527

Location

Augsburg, Germany
Languages
agda
OCaml
MATLAB
Common ...
Haskell
html5
TeX
Products
google-...
Jupyter...
Topics
jalali
hindley...
lambda-...
edge-de...
type-ch...
type-sy...
icmp
unit-co...
html-ca...
type-in...

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.