Pages that link to "Item:Q804281"
From MaRDI portal
The following pages link to An abstract framework for environment machines (Q804281):
Displaying 16 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Inductive families (Q1336951) (← links)
- Categorical abstract machines for higher-order typed \(\lambda\)-calculi (Q1349667) (← links)
- Simply typed lambda calculus with first-class environments (Q1894315) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Explaining the lazy Krivine machine using explicit substitution and addresses (Q2464715) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- State-transition machines, revisited (Q2464722) (← links)
- (Q2703692) (← links)
- Computational Complexity Via Finite Types (Q2946764) (← links)
- λν, a calculus of explicit substitutions which preserves strong normalisation (Q3125228) (← links)
- New Developments in Environment Machines (Q5170161) (← links)
