Skeletal Semantics


This page is the companion to the paper "Skeletal Semantics and their Interpretations". Here are the pre-print, the POPL page, the hal page, and the recorded presentation.

The Coq development is available here, and can be read in html format here. An archive of the development is available here for convenience.

The additional paper proofs can be found here.