RobertHarper/TILT-Compiler
Standard ML compiler based on typed intermediate languages.
The Definition of Standard ML (revised)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Standard ML compiler based on typed intermediate languages.
Elaborative semantics for Standard ML
SML The Living Language
The definition of Standard ML