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)

kajtzu
Kaj J. Niemi
hlsiira
Liam Siira
fleurylis
Yanira Keller
dilipgurung
Dilip Gurung
sirpillage5045
Dilip Das
gidget
pj lilley
agperson
Daniel Silverman
felixjendrusch
Felix Jendrusch
markelarizaga
Markel Arizaga
kieltyka
Ryan Kieltyka