Stephen Diehl@sdiehl 
CTO and Founder at Adjoint
type-checking top 1 lambda-calculus top 1 hindley-milner top 1

Expertise

Global rank

# 9,652

Location

London
Languages
Haskell
OCaml
TeX
Python
CSS
Products
webasse...
Jupyter...
Topics
type-ch...
lambda-...
hindley...
functio...
interme...
type-sy...
type-in...
numba
gevent
haskell...

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.