Items where Author is "Farmer, A"

Journal article

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

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

Chapter in book

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