scientific article; zbMATH DE number 1497780

MaRDI QIDQ4499197zbMATH OpenFDO

Authors Nick Benton, Andrew Kennedy

Publication date 6 March 2001

zbMATH Keywords

MIL-litetyped compiler intermediate language

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Taming effects with monadic typing
• Taming effects with monadic typing
• The marriage of effects and monads
• The marriage of effects and monads
• The marriage of effects and monads

Cited in

(11)

• Layer by layer -- combining monads
• Program equivalence in an untyped, call-by-value functional language with uncurried functions
• Algebraic foundations for effect-dependent optimisations
• Comprehending monads
• ANF preserves dependent types up to extensional equality
• The marriage of effects and monads
• Compiling standard ML to Java bytecodes
• The interaction of contracts and laziness
• Affine Monads and Side-Effect-Freeness
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Call-by-push-value: Decomposing call-by-value and call-by-name

Describes a project that uses

Uses Software

• ML

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