Pages that link to "Item:Q2981953"
From MaRDI portal
The following pages link to Pilsner: a compositionally verified compiler for a higher-order imperative language (Q2981953):
Displayed 1 item.
The following pages link to Pilsner: a compositionally verified compiler for a higher-order imperative language (Q2981953):
Displayed 1 item.