Pages that link to "Item:Q1225449"
From MaRDI portal
The following pages link to Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- The spirit of ghost code (Q518394) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Strong normalization from an unusual point of view (Q534700) (← links)
- Type checking and typability in domain-free lambda calculi (Q655411) (← links)
- Proving the correctness of recursion-based automatic program transformations (Q671683) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- Notions of computation and monads (Q757075) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Comparison of priority rules in pattern matching and term rewriting (Q808264) (← links)
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Theory of interaction (Q896903) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- A short proof of the lexical addressing algorithm (Q917326) (← links)
- Refunctionalization at work (Q923881) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- CPS transformation of beta-redexes (Q1041755) (← links)
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- A mathematical semantics for a nondeterministic typed lambda-calculus (Q1152949) (← links)
- Inferring the equivalence of functional programs that mutate data (Q1196301) (← links)
- The revised report on the syntactic theories of sequential control and state (Q1199538) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- LCF considered as a programming language (Q1243117) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Synthesis of ML programs in the system Coq (Q1322847) (← links)
- Classical logic, storage operators and second-order lambda-calculus (Q1326769) (← links)
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- A constructive logic behind the catch and throw mechanism (Q1337695) (← links)
- Computational adequacy of the FIX-logic (Q1349677) (← links)
