Using Intrinsically-Typed Definitional Interpreters to Verify Compiler Optimizations in a Monadic Intermediate Language Subtitle
By : Suhani Rao
Book Info
