A toolchain for safety-critical embedded processor programming using FPGAs. - Jonathan Kimmitt; David J. Greaves; Marcian N. Cirstea (INDIN, 2015)

A type-safe apparatus executing higher order functions in conjunction with hardware error tolerance. - Jonathan Kimmitt (2015)