9789310186866
Suhani Rao
Mahima Publications
English
Computer and IT: Science and Engineering - Computer and IT: Science and Engineering
2023
11470.00
Using Intrinsically-Typed Definitional Interpreters to Verify Compiler Optimizations in a Monadic Intermediate Language
