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 (14)
|
eyupuygur Eyup UYĞUR |
|
huynhluyn HUỲNH LUYN |
|
chrisluke Chris Luke |
|
bread_goblin Ray |
|
|
ddang Darlene Dang |
|
tabea Tabea Grzeszyk |
|
|
nyraju Yuva |
|
|
alphapupred Alpha Pup Red |
|
nephilim Kenneth Verheyen |
|
kurkimatti Siru Ilomaki |
