Pages that link to "Item:Q812087"
From MaRDI portal
The following pages link to Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct (Q812087):
Displaying 4 items.
- Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct (Q812087) (← links)
- A variadic extension of Curry's fixed-point combinator (Q812092) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)