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)
|
hacsi Antal Pacsek |
|
musicogeek Orlando Hernández |
|
|
brown_lamp Mike D |
|
n1k0l4j Nikolaj Rasmussen |
|
xchek Jonathan Edmonson |
|
mahdyvt Mahdy Vatankhahan |
|
|
wolfiedazn Chris Wolfie |
|
sublet Jeffrey Hunter |
|
tomeara Ted O'Meara |
|
rubicks rubicks |
|
|
seniorwrangler Sandra Leaton Gray |
