Items where Author is "Sculthorpe, N"

VAN BINSBERGEN, L.T., MOSSES, P.D. and SCULTHORPE, N., 2019. Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, pp. 184-212. ISSN 2352-2208

BEAUMONT, A., SCULTHORPE, N., HOUGH, J., UNNITHAN, V. and RICHARDS, J., 2018. Global and regional left ventricular circumferential strain during incremental cycling and isometric knee extension exercise. Echocardiography: a Journal of Cardiovascular Ultrasound and Allied Techniques. ISSN 1540-8175

BEAUMONT, A., GRACE, F., RICHARDS, J., HOUGH, J., OXBOROUGH, D. and SCULTHORPE, N., 2017. Left ventricular speckle tracking-derived cardiac strain and cardiac twist mechanics in athletes: a systematic review and meta-analysis of controlled studies. Sports Medicine, 47 (6), pp. 1145-1170. ISSN 0112-1642

BEAUMONT, A., HOUGH, J., SCULTHORPE, N. and RICHARDS, J., 2017. Left ventricular twist mechanics during incremental cycling and knee extension exercise in healthy men. European Journal of Applied Physiology, 117 (1), pp. 139-150. ISSN 1439-6319

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

VAN BINSBERGEN, L.T., SCULTHORPE, N. and MOSSES, P.D., 2016. Tool support for component-based semantics. In: L. FUENTES, D. BATORY and K. CZARNECKI, eds., Modularity companion '16: Companion proceedings of the 15th International Conference on Modularity, Málaga, Spain, 14-17 March 2016. New York: Association for Computing Machinery (ACM), pp. 8-11. ISBN 9781450340335

FARMER, A., SCULTHORPE, N. and GILL, A., 2015. Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. ACM SIGPLAN Notices, 50 (12), pp. 23-34. ISSN 0362-1340

GILL, A., SCULTHORPE, N., DAWSON, J., ESKILSON, A., FARMER, A., GREBE, M., ROSENBLUTH, J., SCOTT, R. and STANTON, J., 2015. The remote monad design pattern. ACM SIGPLAN Notices, 50 (12), pp. 59-70. ISSN 0362-1340

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

SCULTHORPE, N., FRISBY, N. and GILL, A., 2014. The Kansas University rewrite engine: a Haskell-embedded strategic programming language with custom closed universes. Journal of Functional Programming, 24 (4), pp. 434-473. ISSN 0956-7968

SCULTHORPE, N. and HUTTON, G., 2014. Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24 (1), pp. 113-127. ISSN 0956-7968

SCULTHORPE, N., FARMER, A. and GILL, A., 2013. The HERMIT in the Tree. In: R. HINZE, ed., Implementation and application of functional languages. 24th International Symposium, IFL 2012, Oxford, 30 August - 1 September 2012. Lecture notes in computer science, 8241 . Berlin: Springer, pp. 86-103. ISBN 9783642415814

SCULTHORPE, N., BRACKER, J., GIORGIDZE, G. and GILL, A., 2013. The constrained-monad problem. ACM SIGPLAN Notices, 48 (9), pp. 287-298. ISSN 0362-1340

FARMER, A., GILL, A., KOMP, E. and SCULTHORPE, N., 2012. The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. ACM SIGPLAN Notices, 47 (12), pp. 1-12. ISSN 0362-1340

SCULTHORPE, N. and NILSSON, H., 2010. Keeping calm in the face of change: towards optimisation of FRP by reasoning about change. Higher-Order and Symbolic Computation, 23 (2), pp. 227-271. ISSN 1388-3690

SCULTHORPE, N. and NILSSON, H., 2009. Optimisation of dynamic, hybrid signal function networks. In: M. MORAZÁN, P. KOOPMAN and P. ACHTEN, eds., Trends in Functional Programming Volume 9. Intellect, pp. 97-112. ISBN 9781841502779

SCULTHORPE, N. and NILSSON, H., 2009. Safe functional reactive programming through dependent types. ACM SIGPLAN Notices, 44 (9), pp. 23-34. ISSN 0362-1340