Skeletal semantics and their interpretations

Martin Bodin, Philippa Gardner, Thomas Jensen, Alan Schmitt. Skeletal semantics and their interpretations. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Authors

Martin Bodin

This author has not been identified. Look up 'Martin Bodin' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google

Thomas Jensen

This author has not been identified. Look up 'Thomas Jensen' in Google

Alan Schmitt

This author has not been identified. Look up 'Alan Schmitt' in Google