Items where Author is "Torrini, P"

SCULTHORPE, N., TORRINI, P. and MOSSES, P.D., 2016. A modular structural operational semantics for delimited continuations. Electronic Proceedings in Theoretical Computer Science, 212, pp. 63-80. ISSN 2075-2180

CHURCHILL, M., MOSSES, P.D., SCULTHORPE, N. and TORRINI, P., 2015. Reusable Components of Semantic Specifications. In: S. CHIBA, E. TANTER, E. ERNST and R. HIRSCHFELD, eds., Transactions on aspect-oriented software development XII. Lecture notes in computer science, 8989 . Berlin: Springer, pp. 132-179. ISBN 9783662467336