GitHub repository: stephenrkell/linksem
Primary language: Standard ML
Created: 2017-12-06T17:49:48Z
Description: Executable semantics of linking (ELF static linking only, for now)