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

10. Bibliography
View page source

10. Bibliography

Adam Chlipala. Certified Programming with Dependent Types.

Zhaohui Luo. (1990). An extended calculus of constructions, Phd thesis, University of Edinburgh.

Previous

© Copyright 2021, Helmut Brandl.

Built with Sphinx using a theme provided by Read the Docs.