archontophoenix/concurrencyIntroTalk
Talk on Introduction to Concurrency Formalisms. Given to Types, Theorems, and Programming Languages 26 January 2015.
Public GitHub Catalog
Discovered Oct 2, 2026
archontophoenix / subtypingTalk
Subtyping talk given at SF Types, Theorems, and Programming Languages 20 October 2014
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#25559564GitHub System ID
archontophoenixOrganization / User
PublicVisibility
ActiveCatalog Status
More from archontophoenix
archontophoenix/pokerHands
Calculates frequencies for poker hands in unconventional decks, like Tarot decks.
archontophoenix/syntaxTalk
Slides and code from talk on 11 August 2014
archontophoenix/typeInferenceTalk
Slides and code for talk on type inference, 30 June 2014