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)
|
seraconlp Sim Gamboa |
|
apeglitz Apeh Benard Ameh |
|
maryskam maria - Ciocia Czesia |
|
novakkatinka Maja Magyar |
|
djproject Derek J. Power |
|
dadaist Dadaist |
|
gielikabzhom Pozharskiy Rostislav |
|
kevinoleeh Kevin Schomper |
|
|
scj23 Sarah (sheher) |
|
sl0p0k3 Jim C. |
