type safe high assurance practices in

rick at rickmurphy dot org