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": []
}
17
3
views
downloads
| Views | 17 |
| Downloads | 3 |
| Data volume | 1.1 MB |
| Unique views | 17 |
| Unique downloads | 3 |
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