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)
|
gauxonz Zheng Gong |
|
avrilia505 avrilia gifnut |
|
jukbot Chukkrit V. |
|
|
victoriaman Victoria Manchester |
|
|
sybrexsys Vadim Shakun |
|
peaceofwork Laura Holzinger |
|
|
wudzionka the game changrt |
|
justmiles justmiles |
|
classic_cain J. Cain |
|
|
dth2001 David Hung |
