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