Call-by-push-value: Decomposing call-by-value and call-by-name
From MaRDI portal
(Redirected from Publication:857915)
Recommendations
Cites work
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 1330443 (Why is no real title available?)
- scientific article; zbMATH DE number 1342282 (Why is no real title available?)
- scientific article; zbMATH DE number 1948165 (Why is no real title available?)
- scientific article; zbMATH DE number 1497780 (Why is no real title available?)
- scientific article; zbMATH DE number 1549510 (Why is no real title available?)
- scientific article; zbMATH DE number 2172969 (Why is no real title available?)
- A fully abstract semantics for a higher-order functional language with nondeterministic computation
- Adjunction models for call-by-push-value with stacks
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Classical logic, continuation semantics and abstract machines
- Control categories and duality: On the categorical semantics of the lambda-mu calculus
- Inductive, coinductive, and pointed types
- Intensional interpretations of functionals of finite type I
- Jumbo λ-Calculus
- LCF considered as a programming language
- Notions of computation and monads
- Operational reasoning for functions with local state
- The lambda calculus, its syntax and semantics
- Thunks and the λ-calculus
Cited in
(37)- Implementing open call-by-value
- Galois connecting call-by-value and call-by-name
- scientific article; zbMATH DE number 2120508 (Why is no real title available?)
- Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
- From call-by-value to interaction by typed closure conversion
- The bang calculus revisited
- Iteration and labelled iteration
- Unifying graded and parameterised monads
- Realisability semantics of parametric polymorphism, general references and recursive types
- scientific article; zbMATH DE number 7566074 (Why is no real title available?)
- Latent Effects for Reusable Language Components
- Infinite trace equivalence
- Polarized subtyping
- Higher order functions and Brouwer's thesis
- Streams of approximations, equivalence of recursive effectful programs
- Quantitative logics for equivalence of effectful programs
- Taylor expansion, finiteness and strategies
- The bang calculus and the two Girard's translations
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
- A reflection on call-by-value
- A coherent differential PCF
- Polarized games
- Adjunction models for call-by-push-value with stacks
- On the relations between monadic semantics
- The bang calculus revisited
- Relational graph models at work
- Call-by-value is dual to call-by-name
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
- Amb Breaks Well-Pointedness, Ground Amb Doesn't
- scientific article; zbMATH DE number 7243675 (Why is no real title available?)
- The polarized \(\lambda\)-calculus
- Encoding tight typing in a unified framework
- Focused linear logic and the \(\lambda\)-calculus
- Call-by-value combinatory logic and the lambda-value calculus
- Big step normalisation for type theory
- Factorization in call-by-name and call-by-value calculi via linear logic
- scientific article; zbMATH DE number 7533346 (Why is no real title available?)
This page was built for publication: Call-by-push-value: Decomposing call-by-value and call-by-name
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q857915)
