Type-Systems for Describing System-on-a-Chip Architectures. Posted on 2018-07-12idris soc hardware linear-types dependent-types border-patrol tdd pl-interest