Proof types in Dart: Using final classes as computational witnesses (by modulovalue) — discussion
#compilers #security
