Abstraction & Composition | My heart is in compiler
formal-verification top 100 adt top 100 lambda-calculus top 100

Expertise

Global rank

# 219,118

Location

None
Languages
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]

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.