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 (15)
|
ep4sh Pash Ebash |
|
pbbqdd Jason X |
|
cartermckelvain Carter McKelvain |
|
tr1pj8m3s Patrick James |
|
ofsole Elvis Cai |
|
amedhat Ahmed Medhat Othman |
|
joe97 joseph ricker |
|
abhinay_resolver Abs |
|
avdgaag Arjan van der Gaag |
|
ottoborden Otto Borden |
|
chucklefarts chucklefarts |
