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 (13)
![]() |
emeaguiar Mario Aguiar |
![]() |
benjinus Benjamin Noel |
![]() |
1diabla 1diabla |
![]() |
zaazivaptek Klushin Zoil |
![]() |
arnoutcreemers Arnout |
![]() |
pranil Pranil Maharaj |
![]() |
vyuaknobbibke Zelenaya Mariya |
![]() |
burdandrei Andrei Burd |
![]() |
masch Mark Schmale |