/semantic-approaches

A comprehensive experiments-based survey on various approaches to program semantics.

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.