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 ORCID: 0000-0002-7244-0916, Torrini, P and Mosses, PD, 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 ORCID: 0000-0002-7244-0916 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 ORCID: 0000-0002-7244-0916, 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 ORCID: 0000-0002-7244-0916, Frisby, N and Gill, A, 2014. The Kansas University rewrite engine. Journal of Functional Programming, 24 (4), pp. 434-473. ISSN 0956-7968

Sculthorpe, N ORCID: 0000-0002-7244-0916 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 ORCID: 0000-0002-7244-0916, 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 ORCID: 0000-0002-7244-0916, 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 ORCID: 0000-0002-7244-0916 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 ORCID: 0000-0002-7244-0916 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, LT, Sculthorpe, N ORCID: 0000-0002-7244-0916 and Mosses, PD, 2016. Tool support for component-based semantics. In: Fuentes, L, Batory, D and Czarnecki, K, 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, PD, Sculthorpe, N ORCID: 0000-0002-7244-0916 and Torrini, P, 2015. Reusable Components of Semantic Specifications. In: Chiba, S, Tanter, E, Ernst, E and Hirschfeld, R, eds., Transactions on aspect-oriented software development XII. Lecture notes in computer science, 8989 . Berlin: Springer, pp. 132-179. ISBN 9783662467336

Sculthorpe, N ORCID: 0000-0002-7244-0916, Farmer, A and Gill, A, 2013. The HERMIT in the Tree. In: Hinze, R, 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 ORCID: 0000-0002-7244-0916 and Nilsson, H, 2009. Optimisation of dynamic, hybrid signal function networks. In: Morazán, M, Koopman, P and Achten, P, eds., Trends in Functional Programming Volume 9. Intellect, pp. 97-112. ISBN 9781841502779

This list was generated on Mon Sep 25 09:51:54 2017 UTC.