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 (15)

omarkurt
Omar Kurt
lisacrost
Lisa Charlotte Rost
CryptopeX
Christopher Mercado
bleeptrack
Sabine Wieluch
msutherl
Morgan Sutherland
felt
Adrienne Porter Felt
choirulanam
Choirul anam
kenCode
kenCode at PalmPay
auscompgeek
David Vo
Sidepocket
Sidepocket
infodox
Darren Martyn
ctankersley
Chris Tankersley
koimoji
Koi
reidab
Reid Beels
amblin
Matthew Gregg