jg/wsd
Agent univ. course
10 papers that all PhD students in programming languages ought to know, for some value of 10
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Agent univ. course
Example implementation of Algorithm W for Hindley-Milner type inference
Tutorial on monad transformers
Docs for the Organization