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)
|
alopes António Lopes |
|
itprotv_dustin Dustin Segers |
|
mariateresare Maria Teresa De Gregorio |
|
shorena shorena |
|
jaredgoldberg Jared Goldberg |
|
mossman1215 Moss Cantwell |
|
|
willshadow Shadow |
|
|
jtamanini Justin Tamanini |
