PhD candidate at Radboud University. Crypto all the things.
hindley-milner top 100 type-system top 100 lambda-calculus top 100 Global rank
# 39,072Topics of expertise
hindley...
type-sy...
lambda-...
hugo-th...
page-bu...
documen...
dell
xps
Location
The Netherlands
About
Thom Wiggers's main area of expertise is hindley-milner , and is also an expert on type-system and lambda-calculus . Thom Wiggers is recognized as Hindley-milner Top-100Type-system Top-100, and Lambda-calculus Top-100 . A Github user since 2011 , Thom Wiggers is ranked as #39,072 globally .
Additional areas of expertise: hugo-theme, page-builder, and documentation-generator
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]