Pages that link to "Item:Q1769930"
From MaRDI portal
The following pages link to Abstract computing machines. A lambda calculus perspective. (Q1769930):
Displaying 6 items.
- Refunctionalization at work (Q923881) (← links)
- Median filtering: a new insight (Q1707996) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- An Introduction to the Lambda Calculus (Q3599178) (← links)
- Abstract λ-Calculus Machines (Q3599179) (← links)
- A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630) (← links)