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)

tonius
Ton Broekhuizen
manonhohlfeld
Manon Duenn
rohmiamri
Ulul amri
dandalands
Daniel Perez Cerbito
hiroyuki
Hiroyuki Tachibana
richardson31
Demetrius
iliec
Cosmin Ilie