scientific article; zbMATH DE number 1231463

MaRDI QIDQ4222765zbMATH OpenFDO

Authors Alan Jeffrey, Austin Stuart

Publication date 10 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#jeffrey

zbMATH Keywords

functional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A fully abstract semantics for a higher-order functional language with nondeterministic computation
• Distributive semantics for nondeterministic typed -calculi
• scientific article; zbMATH DE number 3856436
• scientific article; zbMATH DE number 4200180
• scientific article; zbMATH DE number 139984

Cited in

(9)

• A fully abstract semantics for a higher-order functional language with nondeterministic computation
• A divertimento on MonadPlus and nondeterminism
• A monadic semantics for core Curry
• There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations
• Truthful Monadic Abstractions
• scientific article; zbMATH DE number 3856436 (Why is no real title available?)
• Unifying theories of programming with monads
• An abstract monadic semantics for value recursion
• Distributive semantics for nondeterministic typed -calculi

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