Types Are Theorems; Programs Are Proofs

Mark Jason Dominus

Plover Systems Co.

     mjd@plover.com

v0.1 (Jul, 2014)

Slides at

      http://perl.plover.com/yak/CHI/