Edmond Schonberg, Vincent Pucci
Implementation of a simple dimensionality checking system in Ada 2012
HILT, 2012.
@inproceedings{HILT-2012-SchonbergP,
author = "Edmond Schonberg and Vincent Pucci",
booktitle = "{Proceedings of the ACM Conference on High Integrity Language Technology}",
doi = "10.1145/2402676.2402692",
isbn = "978-1-4503-1505-0",
pages = "35--42",
publisher = "{ACM}",
title = "{Implementation of a simple dimensionality checking system in Ada 2012}",
year = 2012,
}