Conor McBride

Libri
A List of Successes That Can Change the World A List of Successes That Can Change the World
A List of Successes That Can Change the World
2016
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007