Alba
Contents:
1. Introduction
2. Certified Programming
3. Language Elements
4. Builtins
5. Intermediate Representation
6. Compilation
7. Platforms
8. Backends
9. Draft
10. Bibliography
Alba
Index
Index