scientific article; zbMATH DE number 1231611

MaRDI QIDQ4222932zbMATH OpenFDO

Authors Gilles Barthe, John Hatcliff, Peter J. Thiemann

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10009

zbMATH Keywords

computational monads

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Taming effects with monadic typing
• Taming effects with monadic typing
• The marriage of effects and monads
• Polymonadic programming
• Parametric effect monads and semantics of effect systems

Cites work

• A computational formalization for partial evaluation
• A-translation and looping combinators in pure type systems
• Corrigendum: Polymorphic type assignment and CPS conversion
• CPS translations and applications: The cube and beyond
• scientific article; zbMATH DE number 1678354 (Why is no real title available?)
• scientific article; zbMATH DE number 2185675 (Why is no real title available?)
• scientific article; zbMATH DE number 1088034 (Why is no real title available?)
• scientific article; zbMATH DE number 1088039 (Why is no real title available?)
• scientific article; zbMATH DE number 819768 (Why is no real title available?)
• Introduction to generalized type systems
• Notions of computation and monads
• Operational interpretations of an extension of F_ω with control operators
• Proving congruence of bisimulation in functional programming languages
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The revised report on the syntactic theories of sequential control and state
• Type inference for polymorphic references
• Type specialisation for imperative languages

Cited in

(3)

• Realizing monads in interaction nets via generic typed rules
• Evaluation strategies for monadic computations
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Describes a project that uses

Uses Software

• GHC
• ML
• TIL
• Automath
• LEGO

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