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
Start a chat
Your conversation will be end-to-end encrypted.

Following (0)

Followers (1)

mboes
Mathieu Boespflug

Browse others (14)

jonpavelich
Jon Pavelich
wabbe
wab
tcardenas
Toni Cárdenas
rahult
Rahul Trikha
giles
Giles Todd
bgdev
Barry
corina
Corina Cimpoca
taveras
Daniel Taveras
pancho_salinas
Francisco Salinas