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)
|
adalindalmond Joe Chapman |
|
basedanon Lvl 34 Wizard |
|
ajdeswart Aj DeSwart |
|
vrruiz Víctor R. Ruiz |
|
cryptopuppy Ryan Smith |
|
realthe Maciej Kamiński |
|
klahan Klahan Jaidee |
|
r4zz Emily |
|
|
andrijaa Aki colovic |
|
williamkray William Kray |
|
whiteclaw Peter Somerville |
|
noalt Per Noalt |
