What's the Matter with Kansas Lava? - Andrew Farmer; Garrin Kimmell; Andy Gill (Trends in Functional Programming, 2010)

Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. - Andy Gill; Tristan Bull; Andrew Farmer; Garrin Kimmell; Ed Komp (Trends in Functional Programming, 2010)

Prediction of novel miRNAs and associated target genes in Glycine max. - Trupti Joshi; Zhe Yan; Marc Libault; Dong-Hoon Jeong; Sunhee Park; Pamela J. Green; D. Janine Sherrier; Andrew Farmer; Greg May; Blake C. Meyers; Dong Xu 002; Gary Stacey (BMC Bioinform., 2010)

Mobile health for drug dose optimisation. - Mark E. Larsen; Andrew Farmer; Andrew Weaver; Annie Young; Lionel Tarassenko (EMBC, 2011)

Using Functional Programming to Generate an LDPC Forward Error Corrector. - Andy Gill; Tristan Bull; Daniel DePardo; Andrew Farmer; Ed Komp; Erik Perrins (FCCM, 2011)

Deriving an efficient FPGA implementation of a low density parity check forward error corrector. - Andy Gill; Andrew Farmer (ICFP, 2011)

The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. - Andrew Farmer; Andy Gill; Ed Komp; Neil Sculthorpe (Haskell, 2012)

The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. - Neil Sculthorpe; Andrew Farmer; Andy Gill (IFL, 2012)

Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. - Andy Gill; Tristan Bull; Andrew Farmer; Garrin Kimmell; Ed Komp (High. Order Symb. Comput., 2012)

The SMS-text adherence support (StAR) study: hardware and software infrastructure. - David B. Springer; Kirsten L. Bobrow; Naomi Levitt; Andrew Farmer; Lionel Tarassenko (ICTD (2), 2013)

Personalized alerts for patients with COPD using pulse oximetry and symptom scores. - Syed Ahmar Shah; Carmelo Velardo; Oliver J. Gibson; Heather Rutter; Andrew Farmer; Lionel Tarassenko (EMBC, 2014)

Automatic generation of personalised alert thresholds for patients with COPD. - Carmelo Velardo; Syed Ahmar Shah; Oliver J. Gibson; Heather Rutter; Andrew Farmer; Lionel Tarassenko (EUSIPCO, 2014)

Optimizing SYB is easy! - Michael D. Adams 001; Andrew Farmer; José Pedro Magalhães (PEPM, 2014)

The HERMIT in the stream: fusing stream fusion's concatMap. - Andrew Farmer; Christian Höner zu Siederdissen; Andy Gill (PEPM, 2014)

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. - Andrew Farmer; Neil Sculthorpe; Andy Gill (Haskell, 2015)

The remote monad design pattern. - Andy Gill; Neil Sculthorpe; Justin Dawson; Aleksander Eskilson; Andrew Farmer; Mark Grebe; Jeffrey Rosenbluth; Ryan Scott; James Stanton (Haskell, 2015)

Using a mobile health application to support self-management in chronic obstructive pulmonary disease: a six-month cohort study. - Maxine Hardinge; Heather Rutter; Carmelo Velardo; Syed Ahmar Shah; Veronika Williams; Lionel Tarassenko; Andrew Farmer (BMC Medical Informatics Decis. Mak., 2015)

Optimizing SYB traversals is easy! - Michael D. Adams 001; Andrew Farmer; José Pedro Magalhães (Sci. Comput. Program., 2015)

HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler. - Andrew Farmer (2015)

Digital health system for personalised COPD long-term management. - Carmelo Velardo; Syed Ahmar Shah; Oliver J. Gibson; Gari D. Clifford; Carl Heneghan; Heather Rutter; Andrew Farmer; Lionel Tarassenko; Andreas Triantafyllidis; Veronika Williams; Maxine Hardinge; Christy Toms; et al. (BMC Medical Informatics Decis. Mak., 2017)