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)
|
asparagoid Coach Bruce |
|
eosadler Bess Sadler |
|
schalliol Gavin Schalliol |
|
josephstalin Joseph V Stalin |
|
johnwatkins0 John Watkins |
|
crobird BJ Murphy |
|
jmorse James Morse |
|
brindaggcourt 🦅🦅🦅🇺🇸🇺🇸🇺🇸 |
|
cruftlord Lord Cruft |
|
bessiepiotrowski Bessie Piotrowski |
|
santiagojuarros Santiago Juarros |
|
agutuio1 Abbey Dewoody |
|
zacharylipton Zachary Lipton |
|
samjonestl Sam Jones |
|
|
mad5600 Adam Gyetvai |
