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)
|
jonpavelich Jon Pavelich |
|
wabbe wab |
|
adel_bullman Adel |
|
tcardenas Toni Cárdenas |
|
rahult Rahul Trikha |
|
giles Giles Todd |
|
bgdev Barry |
|
|
corina Corina Cimpoca |
|
taveras Daniel Taveras |
|
|
pancho_salinas Francisco Salinas |
