scientific article; zbMATH DE number 1332634

MaRDI QIDQ4259960zbMATH OpenFDO

Authors M. Debbabi, Zahia Aïdoud, Ali Faour

Publication date 8 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-05/A97-05.html

zbMATH Keywords

concurrent functional programming languagesconcurrent ML

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Taming effects with monadic typing
• Taming effects with monadic typing
• Polymorphic type, region and effect inference
• Inferring algebraic effects
• The type and effect discipline

Cited in

(4)

• Polymorphic type, region and effect inference
• A generic usage analysis with subeffect qualifiers
• A Hybrid Approach for Safe Memory Management in C
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

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