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)
|
kalekosphone m.usi |
|
roblowe Rob Lowe |
|
traveiga Inlé |
|
lilith51 Lilith Gravelle |
|
angch Ang Chin Han |
|
hansel15 Hansel Acosta |
|
|
wesslade Wesley Slade |
|
phocksx Joshua Byrd |
|
|
beverley_3402dps Beverley Jane |
|
marceloschmidt Marcelo Schmidt |
|
saila Craig Saila |
|
|
tiby93 asd |
