The Cuneiform semantics paper is now available online. It has been published in the Journal of Functional Programming volume 27, 2017.