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)
|
agasb Andrés Gas |
|
sheffkhard Sheriffdeen |
|
scap222 Richard Scappaticci |
|
rikemossman Rike Mossman |
|
keezy Keezy👨🏾💻 |
|
|
patrickgonet Patrick Gonet |
|
spencersevilla Spencer Sevilla |
|
ajsolimine Andrew Solimine |
|
sergeymagic MagicLab |
|
reikotqcgremo Reiko Gremo |
|
|
wingardc Chris Wingard |
