Items where Author is "Gill, A"

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

GILL, A., 2023. An exploration of the trajectory into the Criminal Justice System for individuals with Learning Disabilities. DPsych, Nottingham Trent University.

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

NEWTON, A., PARTRIDGE, H. and GILL, A., 2015. In and around: identifying predictors of theft within and near to major mass underground transit systems. In: V. CECCATO and A. NEWTON, eds., Safety and security in transit environments. Crime prevention and security management . London: Palgrave Macmillan, pp. 99-115. ISBN 9781349571796

NEWTON, A.D., PARTRIDGE, H. and GILL, A., 2014. In and around: identifying predictors of theft within and near to major mass underground transit systems. Security Journal, 27 (2), pp. 132-146. ISSN 0955-1662

NEWTON, A.D., PARTRIDGE, H. and GILL, A., 2014. Above and below: measuring crime risk in and around underground mass transit systems. Crime Science, 3: 1. ISSN 2193-7680

GILL, A., PARTRIDGE, H. and NEWTON, A., 2014. Interstitial crime analysis. London: University College London.

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

This list was generated on Thu Mar 28 10:07:30 2024 UTC.