archontophoenix/concurrencyIntroTalk
Talk on Introduction to Concurrency Formalisms. Given to Types, Theorems, and Programming Languages 26 January 2015.
Public GitHub Catalog
Discovered Oct 1, 2026
archontophoenix / typeInferenceTalk
Slides and code for talk on type inference, 30 June 2014
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#21396224GitHub System ID
archontophoenixOrganization / User
PublicVisibility
ActiveCatalog Status
More from archontophoenix
archontophoenix/pokerHands
Calculates frequencies for poker hands in unconventional decks, like Tarot decks.
archontophoenix/subtypingTalk
Subtyping talk given at SF Types, Theorems, and Programming Languages 20 October 2014
archontophoenix/syntaxTalk
Slides and code from talk on 11 August 2014