John Capper, Henrik Nilsson. Towards a formal semantics for a structurally dynamic noncausal modelling language. In Benjamin C. Pierce, editor, Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012. pages 39-50, ACM, 2012. [doi]
Abstract is missing.