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)
|
mrsmith_is5416 Agent Smith |
|
christruecker Dejah Hessel |
|
diegoferreira Diego Rodrigues Ferreira |
|
iczy Jamie |
|
includenull includenull |
|
deekegemvaktav Kusova Tomila |
|
jutt METADREAMER |
|
mpeckrms Mike Peck |
|
tetrachloro Tétrachlorométhane |
|
jazeem10 jazeem azeez |
