archontophoenix/concurrencyIntroTalk
Talk on Introduction to Concurrency Formalisms. Given to Types, Theorems, and Programming Languages 26 January 2015.
Spam filter challenge for Scala Study Group on meetup.com.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Talk on Introduction to Concurrency Formalisms. Given to Types, Theorems, and Programming Languages 26 January 2015.
Calculates frequencies for poker hands in unconventional decks, like Tarot decks.
Subtyping talk given at SF Types, Theorems, and Programming Languages 20 October 2014
Slides and code from talk on 11 August 2014