Book section Open Access

The Correctness of a Code Generator for a Functional Language

Courant, Nathanaël; Séré, Antoine; Shankar, Natarajan


BibTeX Export

@misc{courant_nathanael_2020_3965629,
  author       = {Courant, Nathanaël and
                  Séré, Antoine and
                  Shankar, Natarajan},
  title        = {{The Correctness of a Code Generator for a 
                   Functional Language}},
  month        = jan,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.1007/978-3-030-39322-9\_4},
  url          = {https://doi.org/10.1007/978-3-030-39322-9\_4}
}
17
3
views
downloads
Views 17
Downloads 3
Data volume 1.1 MB
Unique views 17
Unique downloads 3

Share

Cite as