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