Book section Open Access
The Correctness of a Code Generator for a Functional Language
Courant, Nathanaël;
Séré, Antoine;
Shankar, Natarajan
GeoJSON Export
{
"type": "FeatureCollection",
"features": []
}
40
19
views
downloads
| Views | 40 |
| Downloads | 19 |
| Data volume | 6.7 MB |
| Unique views | 39 |
| Unique downloads | 19 |
Indexed in
- Publication date:
- January 1, 2020
- DOI:
-
- Published in:
- Lecture Notes in Computer Science: pp. 68-89.
- License (for files):
- Free for private use; right holder retains other rights, including distribution