Abstraction & Composition |
My heart is in compiler
formal-verification top 100 adt top 100 lambda-calculus top 100 
Expertise
Global rank
# 219,118Location
NoneLanguages
Kotlin
Topics
formal-...
adt
lambda-...
monad
functio...
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]