Pages that link to "Item:Q848739"
From MaRDI portal
The following pages link to Compilation of extended recursion in call-by-value functional languages (Q848739):
Displaying 12 items.
- A mechanism of function calls in MSVL (Q344760) (← links)
- Automatic generation of compiled forms for linear recursions (Q688292) (← links)
- Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct (Q812087) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- Compilation and evaluation of linear mutual recursions (Q1803866) (← links)
- Unraveling recursion: compiling an IR with recursion to System F (Q2176691) (← links)
- Algebraic correctness proofs for compiling recursive function definitions with strictness information (Q2502270) (← links)
- Positive supercompilation for a higher-order call-by-value language (Q2786119) (← links)
- (Q3219796) (← links)
- (Q4263876) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)