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)
|
urkeymaster pgpkeys.urown.net |
|
istari_vision iVerse Vision |
|
keith Keith Kurson |
|
charitybialosku Charity Bialoskuski |
|
stevengomberg Steven Gomberg |
|
aesqe Bruno Babic |
|
slester Stephen Lester |
|
vayuzhvasav Borovskiy Mokiy |
|
tapper Andrew Tapper |
|
dalamupaf Velegurskaya Lukina |
|
sakisk Sakis Koltsidas |
