scientific article; zbMATH DE number 7650848
From MaRDI portal
Publication:5874223
Cited in
(23)- System \(T\), call-by-value and the minimum problem
- A formal equational theory for call-by-push-value
- Effectful applicative similarity for call-by-name lambda calculi
- An abstract machine for strong call by value
- Positive supercompilation for a higher-order call-by-value language
- The Value-Passing Calculus
- The Call-by-Need Lambda Calculus, Revisited
- scientific article; zbMATH DE number 2185674 (Why is no real title available?)
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
- scientific article; zbMATH DE number 1342279 (Why is no real title available?)
- scientific article; zbMATH DE number 2044494 (Why is no real title available?)
- scientific article; zbMATH DE number 1497774 (Why is no real title available?)
- scientific article; zbMATH DE number 6825409 (Why is no real title available?)
- scientific article; zbMATH DE number 2172969 (Why is no real title available?)
- The call-by-value λ-calculus: a semantic investigation
- scientific article; zbMATH DE number 7340561 (Why is no real title available?)
- scientific article; zbMATH DE number 7356671 (Why is no real title available?)
- Standardization of a Call-By-Value Lambda-Calculus
- Term Rewriting and Applications
- Extended call-by-push-value: reasoning about effectful programs and evaluation order
- A faithful and quantitative notion of distant reduction for generalized applications
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
- The benefits of diligence
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874223)
