Pages that link to "Item:Q3623008"
From MaRDI portal
The following pages link to A Rational Deconstruction of Landin's SECD Machine with the J Operator (Q3623008):
Displaying 10 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- The Peter Landin prize (Q604860) (← links)
- An introduction to Landin's ``Getting rid of labels'' (Q604862) (← links)
- Stories about calculations: Remembering Peter Landin (Q604866) (← links)
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- Refunctionalization at work (Q923881) (← links)
- An introduction to Landin's ``A generalization of jumps and labels'' (Q1290329) (← links)
- A Rational Deconstruction of Landin’s J Operator (Q3623949) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)