Pages that link to "Item:Q4621210"
From MaRDI portal
The following pages link to A Provably Correct Compilation of Functional Languages into Scripting Languages (Q4621210):
Displaying 5 items.
- The correctness of a code generator for a functional language (Q784113) (← links)
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Skribe: a functional authoring language (Q5695118) (← links)