jonsterling/sml-elaborating-typechecker
An example of how to use LCF + validations to type check and normalize lambda terms (via cut admissibility)
Public GitHub Catalog
Discovered Oct 20, 2026
jonsterling / sml-open-abt
An open-ended operator structure for abts
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.
#39795702GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/sml-open-ended
open-ended data types in standard ml (i.e. the ultimate benign effect)
jonsterling/sml-abt-unify
Simple unification for ABTs in SML
jonsterling/sml-parcom-wrapper
Please just use http://github.com/RedPRL/sml-parcom instead