Border Patrol logo, a Border Collie

Posts tagged "pl-interest"

Posts Date Created Categories
Type-Systems for Describing System-on-a-Chip Architectures. July 12, 2018 idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,pl-interest,glasgow,talks