age ~81
from Pensacola, FL
What has dependent type theory done for Haskell? Over the past ten yea...
I have been using Haskell in production at Checkpad MED, TramCloud and...
Frederick Ashton created Marguerite and Armand for Rudolf Nureyev and ...
Join Curator Barbara Haskell and Curatorial Assistant Roxanne Smith fo...
We study a simple inductive data type for representing correct-by-cons...