# Reference

0. []()
0. [Certifying Interpreters in Racket](https://kmicinski.com/certifying-interpreters)
0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf)