from Winston Salem, NC
What has dependent type theory done for Haskell? Over the past ten yea...
Girls Write Now 20th Anniversary Performed at March 16, 2018 CHAPTERS ...
Harris County GA native reads her book ABCs, Animals, and Adjectives f...
Is Haskell a dependently typed programming language? The Glasgow Haske...
Special thanks to the Haskell Foundation for supporting the production...
Stephanie Weihrich, Dependent Types in Haskell WHY SHOULD PROGRAMMERS ...