scientific article; zbMATH DE number 1231611

zbMath0925.68294MaRDI QIDQ4222932

John Hatcliff, Peter Thiemann, Gilles Barthe

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational monads

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Uses Software

• ML
• GHC
• Automath
• LEGO
• TIL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Type inference for polymorphic references
• CPS translations and applications: The cube and beyond
• The revised report on the syntactic theories of sequential control and state
• Corrigendum: Polymorphic type assignment and CPS conversion
• Proving congruence of bisimulation in functional programming languages
• A computational formalization for partial evaluation
• A-translation and looping combinators in pure type systems
• Introduction to generalized type systems
• Type specialisation for imperative languages
• Operational interpretations of an extension of F_ω with control operators