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)
|
bryanbrown Bryan Brown |
|
obstinacywhoop Harriette Alvidrez |
|
sautumnt Sarah |
|
abuelhassan Mohamed Amr |
|
|
rubyqzhao Ruby Zhao |
|
|
tansart tansart |
|
hesany Hamid Hesany |
|
martasykuta Marta Sykuta |
|
roseasheika Rose Asheika |
|
ryanmerritt Ryan Merritt |
|
|
romansytnik RS |
