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 (14)
|
nmattocks_pfizer Nathaniel Mattocks |
|
deepdiverq Kachina |
|
broadwaytone Fitzgerald Waweru |
|
benoithiller Benoit Hiller |
|
hoelzl Michael Hölzl |
|
mbrooks Mark Brooks |
|
derse Derris Vandivort |
|
skilleter_bjss John Skilleter |
|
inux39 inux39 |
|
|
tanyarep Tanya Rep |
