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)
|
|
jclangst Jack Langston |
|
johnphamvan John Phamvan |
|
briivar Bri Ivar |
|
|
dmm DM M |
|
sainivis Vishal Saini |
|
turmelstephanie Stephanie Turmel |
|
|
narod nano |
|
|
rmukhop3 Riyank Mukhopadhyay |
|
|
allen_e Allen Elledge |
|
kormotodor Antonov Georgy |







