Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Language definition
2.
Testing strategy
3.
Proofs
4.
Compilation to Core
5.
Concurrency