scientific article; zbMATH DE number 1948402

MaRDI QIDQ4411965zbMATH OpenFDO

Authors Karl-Filip Faxén

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770278.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Representation, coherence and inference
• On the power of coercion abstraction
• Coercive subtyping: theory and implementation
• Flexible representation analysis
• Dissection of solutions in cooperative game theory using representation techniques
• Nonuniform coercions via unification hints
• Analyzing the Structure of Representations via Approximations

Cited in

(2)

• Compiler Construction
• Flexible representation analysis

Describes a project that uses

Uses Software

• MLton

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