2 ms·A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code1 points by matt_d 2y ago