More talks Types Are Theorems; Programs Are Proofs 33

Thanks!


More talks More talks