RobertHarper/elaborative-semantics
Elaborative semantics for Standard ML
Discovered public repositories for RobertHarper in the GitHub catalog.
Elaborative semantics for Standard ML
SML The Living Language
The Definition of Standard ML (revised)
The definition of Standard ML
15-819 (Homotopy Type Theory) Lecture Notes