aspiwack
Arnaud Spiwack
Multi-classed Software Engineer/Constructive Mathematician My interests include:
- Dependent Type Theory
- Dependently Typed Programming
- Functional Programming
- Programming & Mathematical Foundations
- Programming Language theory
Following (0)
Followers (1)
|
mboes Mathieu Boespflug |
Browse others (13)
|
azylman Alex Zylman |
|
moneybot hack |
|
blackbird0 Jeffrey Kiok |
|
gamaroff Lorien Gamaroff |
|
gustlitowq gustli |
|
jfc Jose Fuentes |
|
paigecache Paige Campbell |
|
|
garvizmx Julio Vizcaino |
|
tjbryant TJ Bryant |
|
isfaaghyth Muh Isfhani Ghiath |
