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)
|
|
cyberdarko Darko |
|
dh4wk Vishnu raju |
|
julieta_g_alonso Julieta G Alonso |
|
|
shammamah Shammamah Hossain |
|
ptjames Plas James |
|
kangnakamuyi 康娜卡姆依 |
|
lsuny88 lsuny sun |
|
tessaros Stefano Tessaro |
|
hgergely Gergely Horváth |
|
|
sandyfun sandykwok |
|
kyledrake Kyle Drake |








