Pages that link to "Item:Q3452250"
From MaRDI portal
The following pages link to Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums (Q3452250):
Displayed 13 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Delimited control in OCaml, abstractly and concretely (Q428889) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Typed Applicative Structures and Normalization by Evaluation for System F ω (Q3644739) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)