Conference
High-Level Abstraction, Safety and Code Generation in Coconut
Authors
Anand C; Dobrogost M; Moghadas M; Pavlin J; Toporovskyy Y; Kahl W
Experts has a new look! Let us know what you think of the updates.
Provide feedback
Experts has a new look! Let us know what you think of the updates.