Login / Signup

Type design patterns for computer mathematics.

Georges Gonthier
Published in: TLDI (2011)
Keyphrases