r/ATS•6 yr. agodoublec(PDF) Terrier: An embedded operating system using advanced types for safetycl.cam.ac.uk/~mrd45/dissertation-md.pdfcl.cam.ac.ukPosted Aug 23, 2020, 11:23 PM UTC111ShareSave
Source code on github