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)
|
ipanok Igor Panok |
|
librarianmom4 Jean-Marie Meyer |
|
klforthwind Kevin La Casse |
|
alexandreroba Alexandre Roba |
|
hersoncr Herson Alfaro |
|
dietb b d |
|
lynnrasmussen Lynn Rasmussen |
|
|
davem Dave Munichiello |
|
muromec Ilya Petrov |
|
sjcampbell Stuart Campbell |
|
brysonp Bryce CPUSA |
