Items where Author is "Gill, A"
Up a level |
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