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)
|
ftarasjuk Filip Tarasjuk |
|
vugos Vugos |
|
richdant Rich Dant |
|
jmdotta Joe |
|
vadymvorobel Vadym Vorobel |
|
|
twang63 Mitchell Stern |
|
ioexception Lee Walker |
|
willwray Will Wray |
|
kakinkomsemvev Paseveva Anfisa |
|
lisafeng Lisa Feng |
|
roydondsouza Roydon D' Souza |
|
dhaspden Dylan Aspden |
