The following pages link to (Q3750108):
Displaying 5 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Refunctionalization at work (Q923881) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- A Selective CPS Transformation (Q4917063) (← links)
- Algebras of UTxO blockchains (Q5084313) (← links)
