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)
|
colonelhamzat Amusat kehinde |
|
stanangeloff Stan Angeloff |
|
blankman90 yohan aji darmawan |
|
glarocca Giuseppe La Rocca |
|
rumenzu Romain Franceschini |
|
|
divyamurthy Divya Murthy |
|
rosanaprignolato Rosana Maria Prignolato |
|
kiwih Kiwi Holmberg |
