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)
|
omarkurt Omar Kurt |
|
lisacrost Lisa Charlotte Rost |
|
CryptopeX Christopher Mercado |
|
bleeptrack Sabine Wieluch |
|
msutherl Morgan Sutherland |
|
felt Adrienne Porter Felt |
|
choirulanam Choirul anam |
|
kenCode kenCode at PalmPay |
|
auscompgeek David Vo |
|
Sidepocket Sidepocket |
|
infodox Darren Martyn |
|
ctankersley Chris Tankersley |
|
koimoji Koi |
|
reidab Reid Beels |
|
amblin Matthew Gregg |
