Pages that link to "Item:Q1183547"
From MaRDI portal
The following pages link to Automatic autoprojection of recursive equations with global variables and abstract data types (Q1183547):
Displaying 11 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Semantics-directed compilation of nonlinear patterns (Q756408) (← links)
- A partial evaluator for a parallel lambda language (Q1372879) (← links)
- Automatically Splitting a Two-Stage Lambda Calculus (Q2802484) (← links)
- Shifting the stage (Q2913928) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- Representing Control: a Study of the CPS Transformation (Q4279251) (← links)
- Representing Control: a Study of the CPS Transformation (Q4493071) (← links)
- Total unfolding: theory and applications (Q4764611) (← links)
- Generating action compilers by partial evaluation (Q4895553) (← links)
- Binding-time analysis for both static and dynamic expressions (Q5957057) (← links)
