![](/img/cover-not-exists.png)
Skeletal semantics and their interpretations
Bodin, Martin, Gardner, Philippa, Jensen, Thomas, Schmitt, AlanVolume:
3
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3290357
Date:
January, 2019
File:
PDF, 482 KB
2019