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)
zerolagbrad Bradford Lewis |
fsznajderman Fabrice Sznajderman |
jnevelson Jonathan Nevelson |
zcampbell Zachary Campbell |
alessandro_b Alessandro Budroni |
teozfrofsak Teresia Ofsak |
falsch None |
atomico77 Alessandro |
josefinabebe Josefina Ramirez |
vitall_digitall Vitalii Martyniak |
collaatje Tim Colla |
usernametaken22 Not My Name |