scientific article; zbMATH DE number 2172969

MaRDI QIDQ4680357zbMATH OpenFDO

Authors Paul Blain Levy

Publication date 1 June 2005

Full work available at URL https://eudml.org/doc/124940, http://www.emis.de/journals/TAC/volumes/14/5/14-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

adjunctioncall-by-namecall-by-push-valuecall-by-valuedenotational semanticsmonad

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Adjunction models for call-by-push-value with stacks
• Stackability in the simply-typed call-by-value lambda calculus
• A formal equational theory for call-by-push-value
• Extended call-by-push-value: reasoning about effectful programs and evaluation order
• Stack semantics of type theory
• Call-by-value lambda calculus as a model of computation in Coq
• Completeness of intersection and union type assignment systems for call-by-value -models
• scientific article; zbMATH DE number 7650848
• The expressive theory of stacks

Cited in

(10)

• Infinite trace equivalence
• A theory of effects and resources: adjunction models and polarised calculi
• Adjunction models for call-by-push-value with stacks
• Monads and adjunctions for global exceptions
• Enriching an Effect Calculus with Linear Types
• scientific article; zbMATH DE number 2120508 (Why is no real title available?)
• Global state considered helpful
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• \(\mathscr{V}\)-graded categories and \(\mathscr{V}\)-\(\mathscr{W}\)-bigraded categories: functor categories and bifunctors over non-symmetric bases
• Call-by-push-value: Decomposing call-by-value and call-by-name

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 Q4680357)