age ~51
from Gatesville, TX
You may have heard of the Curry-Howard Isomorphism and that it relates...
Tired of esoteric conversations about theoretical type systems but not...
Good news: your organization's management team has expressed a willing...
This month we had Paul Snively presenting "Propositions as Types" at Y...
One of the reasons some developers get excited about functional progra...