Items where Author is "Sculthorpe, N"

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 13.

Journal article

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

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

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., 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. Safe functional reactive programming through dependent types. ACM SIGPLAN Notices, 44 (9), pp. 23-34. ISSN 0362-1340

Chapter in book

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

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., 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. 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

This list was generated on Fri Feb 23 02:39:48 2018 UTC.