↓ Skip to main content

Using category theory to design implicit conversions and generic operators

Overview of attention for book
Attention for Chapter 34: On the formal definition of ADA
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On the formal definition of ADA
Chapter number 34
Book title
Semantics-Directed Compiler Generation
Published by
Springer, Berlin, Heidelberg, January 1980
DOI 10.1007/3-540-10250-7_34
Book ISBNs
978-3-54-010250-2, 978-3-54-038339-0
Authors

V. Donzeau-Gouge, G. Kahn, B. Lang, Donzeau-Gouge, V., Kahn, G., Lang, B.